Abstract
Due to the increasing complexity of modern systems, a new abstraction level has been developed recently, the Formal Specification Level.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 The Author(s)
About this chapter
Cite this chapter
Seiter, J., Wille, R., Drechsler, R. (2017). Summary and Conclusions. In: Automatic Methods for the Refinement of System Models. SpringerBriefs in Electrical and Computer Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-41480-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-41480-5_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-41479-9
Online ISBN: 978-3-319-41480-5
eBook Packages: EngineeringEngineering (R0)