System analysis and robustness

Software is increasingly embedded in a variety of physical contexts. This imposes new requirements on tools that support the design and analysis of systems. For instance, modeling embedded and cyber-physical systems needs to blend discrete mathematics, which is suitable for modeling digital componen...

Full description

Bibliographic Details
Main Authors: Moggi, Eugenio, Farjudian, Amin, Taha, Walid
Format: Article
Language:English
Published: Springer 2019
Subjects:
Online Access:https://eprints.nottingham.ac.uk/57139/