%0 Conference Paper %1 conf/birthday/Pretschner0S23 %A Pretschner, Alexander %A Hauer, Florian %A Schmidt, Tabea %B Applicable Formal Methods for Safe Industrial Products %D 2023 %E Haxthausen, Anne E. %E ling Huang, Wen %E Roggenbach, Markus %I Springer %K dblp %P 68-82 %T On Scenario-Based Testing of Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/birthday/Peleska2023.html#Pretschner0S23 %V 14165 %@ 978-3-031-40132-9

@inproceedings{conf/birthday/Pretschner0S23, added-at = {2023-09-20T00:00:00.000+0200}, author = {Pretschner, Alexander and Hauer, Florian and Schmidt, Tabea}, biburl = {https://www.bibsonomy.org/bibtex/21ad09dfea9293aa38c52faa6a160c6ee/dblp}, booktitle = {Applicable Formal Methods for Safe Industrial Products}, crossref = {conf/birthday/2023peleska}, editor = {Haxthausen, Anne E. and ling Huang, Wen and Roggenbach, Markus}, ee = {https://doi.org/10.1007/978-3-031-40132-9_5}, interhash = {27ed6ba27f878525b240026ce6ee9678}, intrahash = {1ad09dfea9293aa38c52faa6a160c6ee}, isbn = {978-3-031-40132-9}, keywords = {dblp}, pages = {68-82}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:07.000+0200}, title = {On Scenario-Based Testing of Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/birthday/Peleska2023.html#Pretschner0S23}, volume = 14165, year = 2023 }