Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
Link opens in a new tab
English
Deutsch
Search content at JKU & KUK Research Portal
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2021 (Event)
Große, D.
(Member)
Institute of Complex Systems
LIT Secure and Correct Systems Lab
Activity
:
Membership/Function
›
Program committee
Description
Program Committee Member
Period
18 Mar 2021
→
19 Mar 2021
Event title
ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2021
Event type
Conference
Location
München, Germany
Show on map
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
Documents & Links
Website der Konferenz