Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers Kordon Fabrice Heftet / 2007 / Engelsk
Reliable Software Technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings Kordon Fabrice Heftet / 2008 / Engelsk
Reliable Software Technologies - Ada-Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings Abdennahder Nabil Heftet / 2007 / Engelsk
Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings Kordon Fabrice Heftet / 2016 / Engelsk
Formal Methods for Embedded Distributed Systems How to master the complexity Kordon Fabrice Innbundet / 1991 / Engelsk
Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers Kordon Fabrice Heftet / 2008 / Engelsk
Formal Methods for Embedded Distributed Systems How to master the complexity Kordon Fabrice Heftet / 2010 / Engelsk
Reliable Software Technologies - Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings Kordon Fabrice Heftet / 2009 / Engelsk
Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers Zhang Lin Heftet / 2017 / Engelsk
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions Beyer Dirk Heftet / 2024 / Engelsk
Embedded Systems Analysis and Modeling with SysML, UML and AADL Kordon Fabrice Innbundet / 2013 / Engelsk
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 6–11, 2019, Proceedings, Part III Beyer Dirk Heftet / 2019 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Steffen Bernhard Innbundet / 2020 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Steffen Bernhard Heftet / 2020 / Engelsk
