Fabrice Kordon
Identifiers
- Open LibraryOL7356030A
Top Subjects
- Embedded computer systems (2)
- Electronic data processing, distributed processing (1)
- Computer software, development (1)
- Petri nets (1)
Books by Fabrice Kordon
Total count: 15
-
Formal Methods for Embedded Distributed SystemsHow to Master the ComplexitySpringer London, Limited2007-01-01
-
Reliable Software Technologies - Ada-Europe 200712th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Composition of Embedded Systems. Scientific and Industrial Issues13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected PapersSpringer London, Limited2007-01-01
-
Reliable Systems on Unreliable Networked Platforms12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected PapersSpringer London, Limited2007-01-01
-
Reliable Software Technologies - Ada-Europe 200813th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. ProceedingsSpringer London, Limited2008-01-01
-
Models and Analysis for Distributed SystemsWiley & Sons, Incorporated, John2011-01-01
-
Distibuted SystemsDesign and AlgorithmsWiley & Sons, Incorporated, John2011-01-01
-
Embedded SystemsAnalysis and Modeling with Sysml, UML and AadlWiley & Sons, Incorporated, John2013-01-01
-
Application and Theory of Petri Nets and Concurrency37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. ProceedingsSpringer London, Limited2016-01-01
Challenges and Opportunity with Big Data19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected PapersSpringer2017-09-08
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASTOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ...Springer2019-04-04-
Transactions on Petri Nets and Other Models of Concurrency XVSpringer Berlin / Heidelberg2021-01-01
-
Transactions on Petri Nets and Other Models of Concurrency XVISpringer Berlin / Heidelberg2022-01-01
-
TOOLympics Challenge 2023Updates, Results, Successes of the Formal-Methods CompetitionSpringer2024-01-01
-
Transactions on Petri Nets and Other Models of Concurrency XVIIISpringer Berlin / Heidelberg2026-01-01