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