Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen

DSpace Repository

Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen

Author: Eichelberger, Hanno; Huster, Stefan; Burg, Sebastian; Ruf, Jürgen; Kropf, Thomas; Schlich, Bastian; Rosenstiel, Wolfgang; Heckeler, Patrick
Tübinger Autor(en):
Eichelberger, Hanno
Burg, Sebastian
Ruf, Jürgen
Rosenstiel, Wolfgang
Kropf, Thomas
Heckeler, Patrick
Published in: Proceedings Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) Workshop 2014 (2014), Bd. , S. 161-170
Language: German
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
ConferenceObject
Show full item record

This item appears in the following Collection(s)