%0 Conference Paper %1 conf/formats/MariDG21 %A Mari, Thomas %A Dang, Thao %A Gössler, Gregor %B FORMATS %D 2021 %E Dima, Catalin %E Shirmohammadi, Mahsa %I Springer %K dblp %P 100-116 %T Explaining Safety Violations in Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/formats/formats2021.html#MariDG21 %V 12860 %@ 978-3-030-85037-1

@inproceedings{conf/formats/MariDG21, added-at = {2024-04-25T00:00:00.000+0200}, author = {Mari, Thomas and Dang, Thao and Gössler, Gregor}, biburl = {https://www.bibsonomy.org/bibtex/2d9c3d86ed31aecee6c88e769476751c0/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2021}, editor = {Dima, Catalin and Shirmohammadi, Mahsa}, ee = {https://orkg.org/orkg/resource/R187264}, interhash = {087a7a3e5027e7c41d9baa45f9a89c87}, intrahash = {d9c3d86ed31aecee6c88e769476751c0}, isbn = {978-3-030-85037-1}, keywords = {dblp}, pages = {100-116}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-29T07:24:28.000+0200}, title = {Explaining Safety Violations in Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2021.html#MariDG21}, volume = 12860, year = 2021 }