h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Kühn, Jan
AU  - Schoonbrood, Pierre
AU  - Stollenwerk, André
AU  - Brendle, Christian
AU  - Wardeh, Markus Nabil
AU  - Walter, Marian
AU  - Roissant, Rolf
AU  - Leonhardt, Steffen
AU  - Kowalewski, Stefan
AU  - Kopp, Rüdger
TI  - Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver
VL  - 1337
CY  - Aachen, Germany
PB  - RWTH Aachen
M1  - RWTH-2015-01765
T2  - CEUR workshop proceedings
SP  - 19-23
PY  - 2015
T2  - Software Engineering 2015
CY  - 17 Mar 2015 - 18 Mar 2015, Dresden (Germany)
Y2  - 17 Mar 2015 - 18 Mar 2015
M2  - Dresden, Germany
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
UR  - https://publications.rwth-aachen.de/record/465535
ER  -