Fabrice Kordon profile picture

Fabrice Kordon

Is this your author profile? Create an account to customize it!

Stand Alone

Reliable systems on unreliable networked platforms
Embedded Systems Analysis And Modeling With Sysml Uml And Aadl
Formal methods for embedded distributed systems
TOOLympics Challenge 2023
Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers
Reliable Software Technologies - Ada-Europe 2009
Reliable Software Technologies - Ada-Europe 2008
Reliable Software Technologies - ADA-Europe 2007
Reliable Software Technologies - Ada-Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings