Drechsler, Rolf
Automatic Methods for the Refinement of System Models
1. Introduction
Julia Seiter, Robert Wille, Rolf Drechsler
2. Preliminaries
Julia Seiter, Robert Wille, Rolf Drechsler
3. Challenges in Model Refinement
Julia Seiter, Robert Wille, Rolf Drechsler
4. Verification of Vertical Refinement
Julia Seiter, Robert Wille, Rolf Drechsler
5. Extraction of a Relation for Vertical Refinement
Julia Seiter, Robert Wille, Rolf Drechsler
6. Verification of Horizontal Refinement
Julia Seiter, Robert Wille, Rolf Drechsler
7. Summary and Conclusions
Julia Seiter, Robert Wille, Rolf Drechsler
Avainsanat: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation
- Tekijä(t)
- Drechsler, Rolf
- Seiter, Julia
- Wille, Robert
- Julkaisija
- Springer
- Julkaisuvuosi
- 2017
- Kieli
- en
- Painos
- 1
- Sarja
- SpringerBriefs in Electrical and Computer Engineering
- Sivumäärä
- 8 sivua
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783319414805
- Painetun ISBN
- 978-3-319-41479-9