%0 Conference Paper %1 conf/fmics/BergerNKAWR19 %A Berger, Philipp %A Nellen, Johanna %A Katoen, Joost-Pieter %A Ábrahám, Erika %A Waez, Md Tawhid Bin %A Rambow, Thomas %B FMICS %D 2019 %E Larsen, Kim Guldstrand %E Willemse, Tim A. C. %I Springer %K dblp %P 59-75 %T Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2019.html#BergerNKAWR19 %V 11687 %@ 978-3-030-27008-7

@inproceedings{conf/fmics/BergerNKAWR19, added-at = {2022-05-27T00:00:00.000+0200}, author = {Berger, Philipp and Nellen, Johanna and Katoen, Joost-Pieter and Ábrahám, Erika and Waez, Md Tawhid Bin and Rambow, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2afced5250c1dc457214fd711d253924a/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2019}, editor = {Larsen, Kim Guldstrand and Willemse, Tim A. C.}, ee = {https://doi.org/10.1007/978-3-030-27008-7_4}, interhash = {bba1db3dc3c3c9f0aeda47c3b77ef4b9}, intrahash = {afced5250c1dc457214fd711d253924a}, isbn = {978-3-030-27008-7}, keywords = {dblp}, pages = {59-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:04:47.000+0200}, title = {Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2019.html#BergerNKAWR19}, volume = 11687, year = 2019 }