What do you think?
Rate this book
SpringerBriefs in Electrical and Computer Engineering
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
Introduction.- Preliminaries.- Challenges in Model Refinement.- Verification of Vertical Refinement.- Extraction of a Relation for Vertical Refinement.- Verification of Horizontal Refinement.- Summary and Conclusions.
104 pages, Paperback
Published July 8, 2016
1 person want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.