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 and precisio...
| Main Authors: | , , |
|---|---|
| Corporate Author: | |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | SpringerBriefs in Electrical and Computer Engineering,
|
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-319-41480-5 |