MBMV (23. : 2020 : Stuttgart) MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems [Frankfurt am Main] : VDE, 2020 (2020), Seite 19-28 1 Online-Ressource
International Conference on Omni-Layer Intelligent Systems ((1st : : 2019 : Crete, Greece)) COINS, International Conference on Omni-Layer Intelligent Systems New York, NY, USA : ACM, 2019 (2019), Seite 86-91 1 Online-Ressource (241 pages)
International Conference on Omni-Layer Intelligent Systems ((1st : : 2019 : Crete, Greece)) COINS, International Conference on Omni-Layer Intelligent Systems New York, NY, USA : ACM, 2019 (2019), Seite 80-85 1 Online-Ressource (241 pages)
International Conference on Omni-Layer Intelligent Systems ((1st : : 2019 : Crete, Greece)) COINS, International Conference on Omni-Layer Intelligent Systems New York, NY, USA : ACM, 2019 (2019), Seite 104-109 1 Online-Ressource (241 pages)
Design, Automation & Test in Europe Conference & Exhibition (22. : 2019 : Florenz) Proceedings of the 2019 Design, Automation & Test in Europe (DATE) [Piscataway, NJ] : IEEE, 2019 (2019), Seite 1715-1720 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
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