| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected ... / Programming and Software Engineering) | 978-3-540-77418-1 | 2008 | Fabrice Kordon |
| Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, ... Notes in Computer Science, Band 10606) | 978-3-319-69482-5 | 2017 | Kim Guldstrand Larsen · Ji Wang |
| Emerging Directions in Embedded and Ubiquitous Computing: EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, ... Notes in Computer Science , Band 4097) | 978-3-540-36850-2 | 2006 | Xiaobo Zhou · Lu Yan · Eun-Sun Jung · Zili Shao · Yi Mu · Dong-Chun Lee · Daeyoung Kim |
| Foundations of Computer Software: Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, ... / Programming and Software Engineering) | 978-3-642-12565-2 | 2010 | Christine Choppy |
| From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday | 978-3-030-31513-9 | 2020 | Ezio Bartocci · Rance Cleaveland · Radu Grosu |
| Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers | 978-3-540-77394-8 | 2008 |
| Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings | 978-3-642-16611-2 | 2010 | Howard Barringer · Ylies Falcone · Bernd Finkbeiner · Klaus Havelund · Insup Lee · Gordon Pace · Grigore Rosu |