Formal Modeling and Analysis of Timed Systems المزيد من كتب Jean-François Raskin & P.S. Thiagarajan

Principles of Systems Design Principles of Systems Design
٢٠٢٢
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
٢٠١٦