%0 Journal Article %1 journals/corr/abs-1906-07083 %A Berger, Philipp %A Nellen, Johanna %A Katoen, Joost-Pieter %A Ábrahám, Erika %A Waez, Md Tawhid Bin %A Rambow, Thomas %D 2019 %J CoRR %K dblp %T Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. %U http://dblp.uni-trier.de/db/journals/corr/corr1906.html#abs-1906-07083 %V abs/1906.07083

@article{journals/corr/abs-1906-07083, 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/29eacaaf5f38f273ed68cf1f6c8b9380c/dblp}, ee = {http://arxiv.org/abs/1906.07083}, interhash = {25f85f9a9b04122978cd17bec887380c}, intrahash = {9eacaaf5f38f273ed68cf1f6c8b9380c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:56:43.000+0200}, title = {Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1906.html#abs-1906-07083}, volume = {abs/1906.07083}, year = 2019 }