Fabrice Kordon
Fabrice Kordon
8 books in the database
Books
Application and Theory of Petri Nets and ConcurrencyFabrice Kordon
Application and Theory of Petri Nets and Concurrency
Fabrice Kordon · 2016
Formal methods for embedded distributed systemsFabrice Kordon
Formal methods for embedded distributed systems
Fabrice Kordon · 2007
Reliable systems on unreliable networked platformsFabrice Kordon
Reliable systems on unreliable networked platforms
Fabrice Kordon · 2007
Transactions on Petri Nets and Other Models of Concurrency XVIIIFabrice Kordon
Transactions on Petri Nets and Other Models of Concurrency XVIII
Fabrice Kordon · 2026
Embedded SystemsFabrice Kordon
Embedded Systems
Fabrice Kordon · 2013
Embedded Systems Analysis And Modeling With Sysml Uml And AadlFabrice Kordon
Embedded Systems Analysis And Modeling With Sysml Uml And Aadl
Fabrice Kordon · 2013
Reliable Software Technologies - Ada-Europe 2008Fabrice Kordon
Reliable Software Technologies - Ada-Europe 2008
Fabrice Kordon · 2008
Composition of Embedded Systems. Scientific and Industrial IssuesFabrice Kordon
Composition of Embedded Systems. Scientific and Industrial Issues
Fabrice Kordon · 2007
Co-authored books and collections
Books that list Fabrice Kordon among their authors but not as the lead author: co-written works, collections and compilations.
TOOLympics Challenge 2023Dirk Beyer
TOOLympics Challenge 2023
Dirk Beyer · 2024
Transactions on Petri Nets and Other Models of Concurrency XVIMaciej Koutny
Transactions on Petri Nets and Other Models of Concurrency XVI
Maciej Koutny · 2022
Transactions on Petri Nets and Other Models of Concurrency XVMaciej Koutny
Transactions on Petri Nets and Other Models of Concurrency XV
Maciej Koutny · 2021
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASDirk Beyer
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Dirk Beyer · 2019
Challenges and Opportunity with Big DataLin Zhang
Challenges and Opportunity with Big Data
Lin Zhang · 2017
Distibuted SystemsSerge Haddad
Distibuted Systems
Serge Haddad · 2013
Models and Analysis for Distributed SystemsSerge Haddad
Models and Analysis for Distributed Systems
Serge Haddad · 2013
Reliable Software Technologies - Ada-Europe 2007Nabil Abdennahder
Reliable Software Technologies - Ada-Europe 2007
Nabil Abdennahder · 2007