Transactions on Petri Nets and Other Models of Concurrency XVIIIFabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny · First published 2026Open the Tome
TOOLympics Challenge 2023Dirk Beyer, Arnd Hartmanns, Fabrice Kordon · First published 2024Open the Tome
Transactions on Petri Nets and Other Models of Concurrency XVIMaciej Koutny, Fabrice Kordon, Daniel Moldt · First published 2022Open the Tome
Transactions on Petri Nets and Other Models of Concurrency XVMaciej Koutny, Fabrice Kordon, Lucia Pomello · First published 2021Open the Tome
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASDirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen · First published 2019Open the Tome
Challenges and Opportunity with Big DataLin Zhang, Lei Ren, Fabrice Kordon · First published 2017Open the Tome
Application and Theory of Petri Nets and ConcurrencyFabrice Kordon, Daniel Moldt · First published 2016Open the Tome
Embedded SystemsFabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet · First published 2013Open the Tome
Embedded Systems Analysis And Modeling With Sysml Uml And AadlFabrice Kordon · First published 2013Open the Tome
Distibuted SystemsSerge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci · First published 2011Open the Tome
Models and Analysis for Distributed SystemsSerge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci · First published 2011Open the Tome
Reliable Software Technologies - ADA-Europe 2007Fabrice Kordon,Nabil Abdennahder · First published 2008Open the Tome
Reliable Software Technologies - ADA-Europe 2008Fabrice Kordon,Tullio Vardanega · First published 2008Open the Tome
Reliable Software Technologies - Ada-Europe 2008Fabrice Kordon, Tullio Vardanega · First published 2008Open the Tome
Composition of Embedded Systems. Scientific and Industrial IssuesFabrice Kordon, Oleg Sokolsky · First published 2007Open the Tome
Reliable Software Technologies - Ada-Europe 2007Nabil Abdennahder, Fabrice Kordon · First published 2007Open the Tome
