↓ Skip to main content

Automatic Methods for the Refinement of System Models

Overview of attention for book
Attention for Chapter 2: Preliminaries
Altmetric Badge
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Preliminaries
Chapter number 2
Book title
Automatic Methods for the Refinement of System Models
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-41480-5_2
Book ISBNs
978-3-31-941479-9, 978-3-31-941480-5
Authors

Julia Seiter, Robert Wille, Rolf Drechsler