Euromicro Conference on Digital System Design (21. : 2018 : Prag) 21st Euromicro Conference on Digital System Design Piscataway, NJ : IEEE, 2018 (2018), Seite 711-718 1 Online-Ressource
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation ((18th :2018 :Samos, Greece)) 2018 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XVIII) New York, New York : Association for Computing Machinery, 2018 (2018), Seite 81-88 1 Online-Ressource
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Chemnitz : Technische Universität, 2015 (2015), Seite 73-82 1 Online Ressource (182 Seiten)
Proceedings of WESE'15 : Workshop on Embedded and Cyber-Physical Systems Education, 8 October 2015, Amsterdam, The Netherlands / ed. M.E. Grimheden New York : ACM, 2015 (2015), Article No. 9, insgesamt 8 Seiten 1 Online-Ressource (73 Seiten)