Items related to Automatic Methods for the Refinement of System Models:...

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation - Softcover

 
9783319414812: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

This specific ISBN edition is currently not available.

Synopsis

Introduction.- Preliminaries.- Challenges in Model Refinement.- Verification of Vertical Refinement.- Extraction of a Relation for Vertical Refinement.- Verification of Horizontal Refinement.-  Summary and Conclusions.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2016
  • ISBN 10 331941481X
  • ISBN 13 9783319414812
  • BindingPaperback
  • LanguageEnglish
  • Number of pages104

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319414799: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)

Featured Edition

ISBN 10:  3319414798 ISBN 13:  9783319414799
Publisher: Springer, 2016
Softcover