Formal Modeling and Analysis of Timed Systems More Books by Martin Fränzle & Nicolas Markey

Engineering Safe and Trustworthy Cyber Physical Systems Engineering Safe and Trustworthy Cyber Physical Systems
Engineering Safe and Trustworthy Cyber Physical Systems
2025
Dependable Software Engineering: Theories, Tools, and Applications Dependable Software Engineering: Theories, Tools, and Applications
Dependable Software Engineering: Theories, Tools, and Applications
2016