STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Fabrice Kordon | lit.salon
Fabrice Kordon
No bio available.
Add one in Open Library.
Books by Fabrice Kordon (50 max)
+ shelf
+ list
Distibuted Systems Design and Algorithms
2011
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
+ shelf
+ list
Models and Analysis for Distributed Systems
2011
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
+ shelf
+ list
Embedded Systems Analysis and Modeling with SysML, UML and AADL
2013
Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet
+ shelf
+ list
Formal methods for embedded distributed systems: how to master the complexity
2004
Fabrice Kordon
+ shelf
+ list
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers (Lecture Notes in Computer Science)
2007
Fabrice Kordon
+ shelf
+ list
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
2016
Fabrice Kordon, Daniel Moldt
+ shelf
+ list
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ...
2019
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
+ shelf
+ list
Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
2007
Fabrice Kordon, Oleg Sokolsky
+ shelf
+ list
Reliable Software Technologies - Ada-Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
2007
Nabil Abdennahder, Fabrice Kordon
+ shelf
+ list
Reliable Software Technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
2008
Fabrice Kordon, Tullio Vardanega
+ shelf
+ list
Embedded Systems Analysis And Modeling With Sysml Uml And Aadl
2013
Fabrice Kordon
+ shelf
+ list
Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers
2017
Lin Zhang, Lei Ren, Fabrice Kordon
+ shelf
+ list
Transactions on Petri Nets and Other Models of Concurrency XV
2021
Maciej Koutny, Fabrice Kordon, Lucia Pomello
+ shelf
+ list
Transactions on Petri Nets and Other Models of Concurrency XVI
2022
Maciej Koutny, Fabrice Kordon, Daniel Moldt
+ shelf
+ list
TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition
2024
Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
