%0 Conference Paper %1 conf/models/CimattiCCNGPT22 %A Cimatti, Alessandro %A Corfini, Sara %A Cristoforetti, Luca %A Natale, Marco Di %A Griggio, Alberto %A Puri, Stefano %A Tonetta, Stefano %B MoDELS %D 2022 %E Syriani, Eugene %E Sahraoui, Houari A. %E Bencomo, Nelly %E Wimmer, Manuel %I ACM %K dblp %P 379-389 %T A comprehensive framework for the analysis of automotive systems. %U http://dblp.uni-trier.de/db/conf/models/models2022.html#CimattiCCNGPT22 %@ 978-1-4503-9466-6

@inproceedings{conf/models/CimattiCCNGPT22, added-at = {2022-10-26T00:00:00.000+0200}, author = {Cimatti, Alessandro and Corfini, Sara and Cristoforetti, Luca and Natale, Marco Di and Griggio, Alberto and Puri, Stefano and Tonetta, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/2a29a24f6e648c67dd534e9337f26dc99/dblp}, booktitle = {MoDELS}, crossref = {conf/models/2022}, editor = {Syriani, Eugene and Sahraoui, Houari A. and Bencomo, Nelly and Wimmer, Manuel}, ee = {https://doi.org/10.1145/3550355.3552408}, interhash = {b03992f8e9d40cffe2baf3bd1d6b729f}, intrahash = {a29a24f6e648c67dd534e9337f26dc99}, isbn = {978-1-4503-9466-6}, keywords = {dblp}, pages = {379-389}, publisher = {ACM}, timestamp = {2024-04-09T21:59:55.000+0200}, title = {A comprehensive framework for the analysis of automotive systems.}, url = {http://dblp.uni-trier.de/db/conf/models/models2022.html#CimattiCCNGPT22}, year = 2022 }