Drechsler, Rolf
Automatic Methods for the Refinement of System Models
Table of contents
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
Nyckelord: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation
- Författare
- Drechsler, Rolf
- Seiter, Julia
- Wille, Robert
- Utgivare
- Springer
- Utgivningsår
- 2017
- Språk
- en
- Utgåva
- 1
- Serie
- SpringerBriefs in Electrical and Computer Engineering
- Sidantal
- 8 sidor
- Kategori
- Teknologi, energi, trafik
- Format
- E-bok
- eISBN (PDF)
- 9783319414805
- Tryckt ISBN
- 978-3-319-41479-9
