Livros de Fabrice Kordon - BookPine

Transactions on Petri Nets and Other Models of Concurrency XV

Transactions on Petri Nets and Other Models of Concurrency XV

Maciej Koutny

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)

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)

Dirk Beyer

Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

Lin Zhang

Embedded Systems: Analysis and Modeling with Sysml, UML and Aadl

Embedded Systems: Analysis and Modeling with Sysml, UML and Aadl

Fabrice Kordon

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Fabrice Kordon

Models and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

Serge Haddad

Distibuted Systems: Design and Algorithms

Distibuted Systems: Design and Algorithms

Serge Haddad

Formal Methods for Embedded Distributed Systems: How to master the complexity

Formal Methods for Embedded Distributed Systems: How to master the complexity

Fabrice Kordon

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

Nabil Abdennadher

Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings

Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings

Fabrice Kordon

Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June ...

Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June ...

Fabrice Kordon

Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Fabrice Kordon

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, ...

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, ...

Nabil Abdennadher

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Fabrice Kordon