Libros

Dependable Software Engineering: Theories, Tools, and Applications Dependable Software Engineering: Theories, Tools, and Applications
2016
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
2016