%0 Conference Paper %1 conf/safecomp/BozzanoMSTV20 %A Bozzano, Marco %A Munk, Peter %A Schweizer, Markus %A Tonetta, Stefano %A Vozárová, Viktória %B SAFECOMP %D 2020 %E Casimiro, António %E Ortmeier, Frank %E Bitsch, Friedemann %E Ferreira, Pedro %I Springer %K dblp %P 99-114 %T Model-Based Safety Analysis of Mode Transitions. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2020.html#BozzanoMSTV20 %V 12234 %@ 978-3-030-54549-9

@inproceedings{conf/safecomp/BozzanoMSTV20, added-at = {2020-08-20T00:00:00.000+0200}, author = {Bozzano, Marco and Munk, Peter and Schweizer, Markus and Tonetta, Stefano and Vozárová, Viktória}, biburl = {https://www.bibsonomy.org/bibtex/2dbc053223c2c38995466ecd3bed90a11/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2020}, editor = {Casimiro, António and Ortmeier, Frank and Bitsch, Friedemann and Ferreira, Pedro}, ee = {https://doi.org/10.1007/978-3-030-54549-9_7}, interhash = {42dddbc4ecac1ec7803b42d92fc387b9}, intrahash = {dbc053223c2c38995466ecd3bed90a11}, isbn = {978-3-030-54549-9}, keywords = {dblp}, pages = {99-114}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-21T11:36:05.000+0200}, title = {Model-Based Safety Analysis of Mode Transitions.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2020.html#BozzanoMSTV20}, volume = 12234, year = 2020 }