Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL

Ralph Peter Weissnegger, Markus Schuß, Christian Josef Kreiner, Markus Pistauer, Kay Uwe Römer, Christian Steger

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

LanguageGerman
Title of host publicationThe 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops
Pages245
Number of pages252
Edition83
StatusPublished - 12 May 2016

Cite this

Weissnegger, R. P., Schuß, M., Kreiner, C. J., Pistauer, M., Römer, K. U., & Steger, C. (2016). Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL. In The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops (83 ed., pp. 245)

Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL. / Weissnegger, Ralph Peter; Schuß, Markus; Kreiner, Christian Josef; Pistauer, Markus; Römer, Kay Uwe; Steger, Christian.

The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops. 83. ed. 2016. p. 245.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Weissnegger, RP, Schuß, M, Kreiner, CJ, Pistauer, M, Römer, KU & Steger, C 2016, Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL. in The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops. 83 edn, pp. 245.
Weissnegger RP, Schuß M, Kreiner CJ, Pistauer M, Römer KU, Steger C. Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL. In The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops. 83 ed. 2016. p. 245.
Weissnegger, Ralph Peter ; Schuß, Markus ; Kreiner, Christian Josef ; Pistauer, Markus ; Römer, Kay Uwe ; Steger, Christian. / Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL. The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops. 83. ed. 2016. pp. 245
@inproceedings{9bf4e9a7188b4135861f29d5d8fdcb7e,
title = "Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL",
author = "Weissnegger, {Ralph Peter} and Markus Schu{\ss} and Kreiner, {Christian Josef} and Markus Pistauer and R{\"o}mer, {Kay Uwe} and Christian Steger",
year = "2016",
month = "5",
day = "12",
language = "deutsch",
pages = "245",
booktitle = "The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops",
edition = "83",

}

TY - GEN

T1 - Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL

AU - Weissnegger,Ralph Peter

AU - Schuß,Markus

AU - Kreiner,Christian Josef

AU - Pistauer,Markus

AU - Römer,Kay Uwe

AU - Steger,Christian

PY - 2016/5/12

Y1 - 2016/5/12

M3 - Beitrag in einem Konferenzband

SP - 245

BT - The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops

ER -