Formal Modeling and Analysis of Timed Systems Mehr Bücher von Martin Fränzle & Nicolas Markey

Engineering Safe and Trustworthy Cyber Physical Systems

2025

Dependable Software Engineering: Theories, Tools, and Applications

2016