Formal Modeling and Analysis of Timed Systems Mehr Bücher von Laure Petrucci & Jeremy Sproston

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
Distibuted Systems Distibuted Systems
Distibuted Systems
2013
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