Formal Modeling and Analysis of Timed Systems Jean-François Raskin & P.S. Thiagarajan의 도서 더 보기

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
2016년