Fields of science
- 202017 Embedded systems
- 202005 Computer architecture
- 102005 Computer aided design (CAD)
- 102 Computer Sciences
- 102011 Formal languages
JKU Focus areas
- Digital Transformation
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2020 (Event)
- Große, D. (Member)
Activity: Membership/Function › Program committee