Formal Modeling and Analysis of Timed Systems Laure Petrucci & Jeremy Sproston의 도서 더 보기

Distibuted Systems Distibuted Systems
Distibuted Systems
2013년
Application and Theory of Petri Nets and Concurrency Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
2022년
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2017년
Models and Analysis for Distributed Systems Models and Analysis for Distributed Systems
Models and Analysis for Distributed Systems
2013년
Application and Theory of Petri Nets Application and Theory of Petri Nets
Application and Theory of Petri Nets
2011년