Automatic Methods for the Refinement of System Models
Subtitle: From the Specification to the Implementation
Publisher: Springer
Published: Jul 05, 2016
Format: paperback
Number of pages: 104
ISBN-13: 9783319414799
Notes: Source title: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)