Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}