dc.contributor.author | Eichelberger, Hanno | |
dc.contributor.author | Burg, Sebastian | |
dc.contributor.author | Ruf, Jürgen | |
dc.contributor.author | Rosenstiel, Wolfgang | |
dc.contributor.author | Kropf, Thomas | |
dc.contributor.author | Heckeler, Patrick | |
dc.date.accessioned | 2015-05-07T14:05:05Z | |
dc.date.available | 2015-05-07T14:05:05Z | |
dc.date.issued | 2014 | |
dc.identifier.uri | http://hdl.handle.net/10900/63251 | |
dc.language.iso | de | de_DE |
dc.rights | info:eu-repo/semantics/closedAccess | |
dc.subject.ddc | 004 | de_DE |
dc.title | Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen | de_DE |
dc.type | Article | de_DE |
dc.type | ConferenceObject | de_DE |
utue.publikation.seiten | 161-170 | de_DE |
utue.personen.roh | Eichelberger, Hanno | |
utue.personen.roh | Huster, Stefan | |
utue.personen.roh | Burg, Sebastian | |
utue.personen.roh | Ruf, Jürgen | |
utue.personen.roh | Kropf, Thomas | |
utue.personen.roh | Schlich, Bastian | |
utue.personen.roh | Rosenstiel, Wolfgang | |
utue.personen.roh | Heckeler, Patrick | |
dcterms.isPartOf.ZSTitelID | Proceedings Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) Workshop 2014 | de_DE |
Dateien | Größe | Format | Anzeige |
---|---|---|---|
Zu diesem Dokument gibt es keine Dateien. |