Funktionale Abdeckungsanalyse von C-Programmen

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