%0 Conference Paper %1 conf/icse/MenghiVBB21 %A Menghi, Claudio %A Viganò, Enrico %A Bianculli, Domenico %A Briand, Lionel C. %B ICSE %D 2021 %I IEEE %K dblp %P 847-859 %T Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap. %U http://dblp.uni-trier.de/db/conf/icse/icse2021.html#MenghiVBB21 %@ 978-1-6654-0296-5

@inproceedings{conf/icse/MenghiVBB21, added-at = {2022-06-23T00:00:00.000+0200}, author = {Menghi, Claudio and Viganò, Enrico and Bianculli, Domenico and Briand, Lionel C.}, biburl = {https://www.bibsonomy.org/bibtex/2aef1db2655678fab201226c84b9c287f/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2021}, ee = {https://doi.org/10.1109/ICSE43902.2021.00082}, interhash = {5a50c380787bd2162014a1c842446e6c}, intrahash = {aef1db2655678fab201226c84b9c287f}, isbn = {978-1-6654-0296-5}, keywords = {dblp}, pages = {847-859}, publisher = {IEEE}, timestamp = {2024-04-10T00:12:15.000+0200}, title = {Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2021.html#MenghiVBB21}, year = 2021 }