Simulation-based Verification of Automotive Safety-Critical Systems based on UML

Ralph Peter Weissnegger, Markus Pistauer, Kay Uwe Römer, Christian Steger

Research output: Contribution to conferenceAbstractResearchpeer-review

Original languageEnglish
Pages32
Publication statusAccepted/In press - 29 Apr 2016
EventMicroelectronic Systems Symposium (MESS) - Wien, Austria
Duration: 8 May 20149 May 2014

Conference

ConferenceMicroelectronic Systems Symposium (MESS)
CountryAustria
CityWien
Period8/05/149/05/14

Cite this

Weissnegger, R. P., Pistauer, M., Römer, K. U., & Steger, C. (Accepted/In press). Simulation-based Verification of Automotive Safety-Critical Systems based on UML. 32. Abstract from Microelectronic Systems Symposium (MESS), Wien, Austria.

Simulation-based Verification of Automotive Safety-Critical Systems based on UML. / Weissnegger, Ralph Peter; Pistauer, Markus; Römer, Kay Uwe; Steger, Christian.

2016. 32 Abstract from Microelectronic Systems Symposium (MESS), Wien, Austria.

Research output: Contribution to conferenceAbstractResearchpeer-review

Weissnegger, RP, Pistauer, M, Römer, KU & Steger, C 2016, 'Simulation-based Verification of Automotive Safety-Critical Systems based on UML' Microelectronic Systems Symposium (MESS), Wien, Austria, 8/05/14 - 9/05/14, pp. 32.
Weissnegger RP, Pistauer M, Römer KU, Steger C. Simulation-based Verification of Automotive Safety-Critical Systems based on UML. 2016. Abstract from Microelectronic Systems Symposium (MESS), Wien, Austria.
Weissnegger, Ralph Peter ; Pistauer, Markus ; Römer, Kay Uwe ; Steger, Christian. / Simulation-based Verification of Automotive Safety-Critical Systems based on UML. Abstract from Microelectronic Systems Symposium (MESS), Wien, Austria.
@conference{dbc2eef709174f61a4de4622beed7f91,
title = "Simulation-based Verification of Automotive Safety-Critical Systems based on UML",
author = "Weissnegger, {Ralph Peter} and Markus Pistauer and R{\"o}mer, {Kay Uwe} and Christian Steger",
year = "2016",
month = "4",
day = "29",
language = "English",
pages = "32",
note = "Microelectronic Systems Symposium (MESS) ; Conference date: 08-05-2014 Through 09-05-2014",

}

TY - CONF

T1 - Simulation-based Verification of Automotive Safety-Critical Systems based on UML

AU - Weissnegger, Ralph Peter

AU - Pistauer, Markus

AU - Römer, Kay Uwe

AU - Steger, Christian

PY - 2016/4/29

Y1 - 2016/4/29

M3 - Abstract

SP - 32

ER -