Loading…
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...
| Main Authors: | , , |
|---|---|
| Corporate Author: | |
| Format: | e-Book |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | SpringerBriefs in Electrical and Computer Engineering,
|
| Subjects: | |
| Online Access: | Full-text access View in OPAC |