Authors: ; Hoang Minh Le, Universität Bremen, DE; Daniel Große, Universität Bremen, DE; - -, -, DE
Abstract:
-
http://www-05.ibm.com/de/entwicklung/mbmv2014/
Publication Date: 2014/03/11
Location of Publication: 17. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Böblingen, Germany
Keyword: System Design