| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings | | 978-3-319-39085-7 | 2016 | Daniel Moldt |
| Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers | | 978-3-319-61993-4 | 2017 | Lin Zhang · Lei Ren |
| Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected ... Notes in Computer Science , Band 4888) | | 978-3-540-77418-1 | 2008 |
| Embedded Systems: Analysis and Modeling with SysML, UML and AADL | | 978-1-84821-500-9 | 2013 | Jérôme Hugues · Agusti Canals · Alain Dohet |
| Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June ... Notes in Computer Science , Band 5026) | | 978-3-540-68621-7 | 2008 |
| Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings | | 978-3-642-01923-4 | 2009 |
| Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... Notes in Computer Science , Band 4322) | | 978-3-540-71155-1 | 2007 |
| Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... Notes in Computer Science, Band 11429) | | 978-3-030-17501-6 | 2019 | Dirk Beyer · Marieke Huisman · Bernhard Steffen |