Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Lecture Notes in Computer Science, 6100)
Giese, Holger/Karsai, Gabor/Lee, Edward A./Rumpe, Bernhard/Schaetz, Bernhard
Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Vaesterås, Sweden, October 16–18, 2023, Proceedings (Lecture Notes in Computer Science, 14390)
Kofroň, Jan/Margaria, Tiziana/Seceleanu, Cristina
Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings (Lecture Notes in Computer Science, 13525)
Seguin, Christel/Zeller, Marc/Prosvirnova, Tatiana