Automatic methods for the refinement of system models : from the specification to the implementation
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail an...
Saved in:
Main Authors | , , |
---|---|
Format | Electronic eBook |
Language | English |
Published |
Switzerland :
Springer,
[2016]
|
Series | SpringerBriefs in electrical and computer engineering.
|
Subjects | |
Online Access | Plný text |
Cover
Loading…