F
Fabrice Kordon
15 works on record
Works
Reliable systems on unreliable networked platforms
Embedded Systems Analysis And Modeling With Sysml Uml And Aadl
Formal methods for embedded distributed systems
Challenges and Opportunity with Big Data
Application and Theory of Petri Nets and Concurrency
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Distibuted Systems
Distibuted Systems
Models and Analysis for Distributed Systems
Models and Analysis for Distributed Systems
Embedded Systems
Embedded Systems
Transactions on Petri Nets and Other Models of Concurrency XV
Transactions on Petri Nets and Other Models of Concurrency XV
Composition of Embedded Systems. Scientific and Industrial Issues
Composition of Embedded Systems. Scientific and Industrial Issues
Reliable Software Technologies - Ada-Europe 2008
Reliable Software Technologies - Ada-Europe 2008
Reliable Software Technologies - Ada-Europe 2007
Reliable Software Technologies - Ada-Europe 2007
Transactions on Petri Nets and Other Models of Concurrency XVI
Transactions on Petri Nets and Other Models of Concurrency XVI
TOOLympics Challenge 2023
TOOLympics Challenge 2023