| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, ... in Computer Science , Band 11951) | 978-3-030-35539-5 (3-030-35539-X) | 2019 | Joost-Pieter Katoen · Jun Sun |
| Techniques for Building Timing-Predictable Embedded Systems | 978-3-319-27196-5 (3-319-27196-2) | 2016 | |