%0 Conference Paper %1 conf/sefm/CoutoBRMHL17 %A Couto, Luís Diogo %A Basagiannis, Stylianos %A Ridouane, El Hassan %A Mady, Alie El-Din %A Hasanagic, Miran %A Larsen, Peter Gorm %B SEFM Workshops %D 2017 %E Cerone, Antonio %E Roveri, Marco %I Springer %K dblp %P 284-299 %T Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2017w.html#CoutoBRMHL17 %V 10729 %@ 978-3-319-74781-1

@inproceedings{conf/sefm/CoutoBRMHL17, added-at = {2021-04-09T00:00:00.000+0200}, author = {Couto, Luís Diogo and Basagiannis, Stylianos and Ridouane, El Hassan and Mady, Alie El-Din and Hasanagic, Miran and Larsen, Peter Gorm}, biburl = {https://www.bibsonomy.org/bibtex/2d79c1558530e19602d18e0caa09dd587/dblp}, booktitle = {SEFM Workshops}, crossref = {conf/sefm/2017w}, editor = {Cerone, Antonio and Roveri, Marco}, ee = {https://doi.org/10.1007/978-3-319-74781-1_20}, interhash = {c2c50f6c967184d6a0f9bc2f1c336075}, intrahash = {d79c1558530e19602d18e0caa09dd587}, isbn = {978-3-319-74781-1}, keywords = {dblp}, pages = {284-299}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:22:11.000+0200}, title = {Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2017w.html#CoutoBRMHL17}, volume = 10729, year = 2017 }