Critical Systems: Formal Methods and Automated Verification Mehr Bücher von Laure Petrucci, Cristina Seceleanu & Ana Cavalcanti

Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2023
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
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