Formal Modeling and Analysis of Timed Systems Martin Fränzle & Nicolas Markey: другие книги

Engineering Safe and Trustworthy Cyber Physical Systems

2025

Dependable Software Engineering: Theories, Tools, and Applications

2016