Login

Drechsler, Rolf

Automatic Methods for the Refinement of System Models

Drechsler, Rolf - Automatic Methods for the Refinement of System Models, ebook

87,65€

Ebook, PDF with Adobe DRM
ISBN: 9783319414805
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

Keywords: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation

Author(s)
 
 
Publisher
Springer
Publication year
2017
Language
en
Edition
1
Series
SpringerBriefs in Electrical and Computer Engineering
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783319414805
Printed ISBN
978-3-319-41479-9

Similar titles