Books by Fabrice Kordon

Fabrice Kordon
Average rating 3.44 · 9 ratings · 2 reviews · shelved 37 times

Showing 23 distinct works.

	Formal Methods for Embedded Distributed Systems: How to master the complexity (Kluwer International Series in Engineering & Computer Scienc) by Fabrice Kordon (Editor) really liked it 4.00 avg rating — 3 ratings — published 1991 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Embedded Systems: Analysis and Modeling with Sysml, UML and Aadl by Fabrice Kordon (Editor) 2.33 avg rating — 3 ratings — published 2013 — 9 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April ... Notes in Computer Science Book 11429) by Dirk Beyer (editor), Marieke Huisman (Editor), Fabrice Kordon (Editor), Bernhard Steffen (Editor) it was amazing 5.00 avg rating — 1 rating — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Distibuted Systems: Design and Algorithms by Serge Haddad (Editor), Fabrice Kordon (Editor), Laurent Pautet (Editor), Laure Petrucci (Editor) really liked it 4.00 avg rating — 1 rating — published 2011 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Models and Analysis for Distributed Systems by Serge Haddad (Editor), Fabrice Kordon (Editor), Laurent Pautet (Editor), Laure Petrucci (Editor) liked it 3.00 avg rating — 1 rating — published 2011 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings (Lecture Notes in Computer Science, 5570) by Fabrice Kordon (Editor), Yvon Kermarrec (Editor) 0.00 avg rating — 0 ratings — published 2009 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings (Lecture Notes in Computer Science, 9698) by Fabrice Kordon (Editor), Daniel Moldt (Editor) 0.00 avg rating — 0 ratings — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 2005, Revised Selected Papers by Fabrice Kordon (Editor) 0.00 avg rating — 0 ratings — published 2007 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Reliable Software Technologies - Ada-Europe 2008 by Fabrice Kordon (Editor) 0.00 avg rating — 0 ratings — published 2008 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Composition of Embedded Systems. Scientific and Industrial Issues by Fabrice Kordon (Editor) 0.00 avg rating — 0 ratings — published 2008 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Modélisation et analyse de systèmes embarqués by Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Transactions on Petri Nets and Other Models of Concurrency XVIII (Lecture Notes in Computer Science, 16260) by Fabrice Kordon (Editor), Laure Petrucci (Editor), Jörg Desel (Editor), Jetty Kleijn (Editor) 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science Book 14550) by Dirk Beyer (Editor), Arnd Hartmanns (editor), Fabrice Kordon (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Transactions on Petri Nets and Other Models of Concurrency XVI (Lecture Notes in Computer Science Book 13220) by Maciej Koutny (Editor), Fabrice Kordon (editor), Daniel Moldt (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Transactions on Petri Nets and Other Models of Concurrency XV (Lecture Notes in Computer Science Book 12530) by Maciej Koutny (Editor), Fabrice Kordon (editor), Lucia Pomello (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Méthodes formelles pour les systèmes répartis et coopératifs by Collectif, Fabrice Kordon, Laure Petrucci, Collectif 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers (Lecture Notes in Computer Science Book 10228) by Lin Zhang (Editor), Lei Ren (editor), Fabrice Kordon (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science, 14550) by Dirk Beyer (Editor), Arnd Hartmanns (editor), Fabrice Kordon (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Transactions on Petri Nets and Other Models of Concurrency XV (Lecture Notes in Computer Science Book 12530) by Maciej Koutny (editor), Fabrice Kordon (Editor), Lucia Pomello (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Transactions on Petri Nets and Other Models of Concurrency XVI (Lecture Notes in Computer Science Book 13220) by Maciej Koutny (editor), Fabrice Kordon (Editor), Daniel Moldt (Editor) 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Transactions on Petri Nets and Other Models of Concurrency XV (Lecture Notes in Computer Science, 12530) by Maciej Koutny (Editor), Fabrice Kordon (Editor), Lucia Pomello (Editor) 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers (Lecture Notes in Computer Science Book 10228) by Lin Zhang (editor), Lei Ren (Editor), Fabrice Kordon (Editor) 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings by Nabil Abdennadher (Editor), Fabrice Kordon (Editor) 0.00 avg rating — 0 ratings — published 2007 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.