European workshop on on-board data processing (OBDP2021) [Erscheinungsort nicht ermittelbar] : [Verlag nicht ermittelbar], 2021 (2021), Artikel-ID 5575137 1 Online-Ressource
DATE (19. : 2016 : Dresden) Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) Piscataway, NJ : IEEE, 2016 (2016), Seite 223-228 1 Online-Ressource
DATE (19. : 2016 : Dresden) Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) Piscataway, NJ : IEEE, 2016 (2016), Seite 297-300 1 Online-Ressource
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Rostock : Univ., ITMZ, 2013 (2013), Seite 131-140 [10], 284 S.
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Rostock : Univ., ITMZ, 2013 (2013), Seite 147-158 [10], 284 S.