Formal Modeling and Analysis of Timed Systems Jean-François Raskin & P.S. Thiagarajan: другие книги

Principles of Systems Design Principles of Systems Design
Principles of Systems Design
2022
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2016