| Original language | German |
|---|---|
| Title of host publication | Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems |
| Publication status | Published - 2016 |
| Event | PEC 2016 - International Conference on Pervasive and Embedded Computing - Lissabon, Portugal Duration: 25 Jul 2016 → 27 Jul 2016 |
Conference
| Conference | PEC 2016 - International Conference on Pervasive and Embedded Computing |
|---|---|
| Country | Portugal |
| City | Lissabon |
| Period | 25/07/16 → 27/07/16 |
Cite this
Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML. / Weissnegger, Ralph Peter; Schuß, Markus; Kreiner, Christian Josef; Pistauer, Markus; Römer, Kay Uwe; Steger, Christian.
Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems. 2016.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
}
TY - GEN
T1 - Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML
AU - Weissnegger, Ralph Peter
AU - Schuß, Markus
AU - Kreiner, Christian Josef
AU - Pistauer, Markus
AU - Römer, Kay Uwe
AU - Steger, Christian
PY - 2016
Y1 - 2016
M3 - Beitrag in einem Konferenzband
BT - Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems
ER -