Cargando…
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...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2017
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-41480-5 http://cds.cern.ch/record/2240275 |