Formal Modeling and Analysis of Timed Systems Sách Khác Của Martin Fränzle & Nicolas Markey

Engineering Safe and Trustworthy Cyber Physical Systems

2025

Dependable Software Engineering: Theories, Tools, and Applications

2016