Books by Fabrice Kordon
TOOLympics Challenge 2023
TOOLympics Challenge 2023
Transactions on Petri Nets and
Transactions on Petri Nets and Other Models of Concurrency XVI
Transactions on Petri Nets and
Transactions on Petri Nets and Other Models of Concurrency XV
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Challenges and Opportunity with Big Data
Embedded Systems Analysis And Modeling With Sysml Uml And Aadl
Models and Analysis for Distri
Models and Analysis for Distributed Systems
Distibuted Systems
Distibuted Systems
Reliable Software Technologies - Ada-Europe 2008
Composition of Embedded System
Composition of Embedded Systems. Scientific and Industrial Issues
Reliable Software Technologies - Ada-Europe 2007
Reliable systems on unreliable networked platforms