Automatic Methods for the Refinement of System Models
Subtitle: From the Specification to the Implementation
Publisher: Springer London, Limited
Published: 2016
Language: eng
ISBN-13: 9783319414805
Subjects: Programming languages (electronic computers); Computer simulation; Software engineering