%0 Conference Paper %1 conf/enase/LeottaCFOARR19 %A Leotta, Maurizio %A Clerissi, Diego %A Franceschini, Luca %A Olianas, Dario %A Ancona, Davide %A Ricca, Filippo %A Ribaudo, Marina %B ENASE %D 2019 %E Damiani, Ernesto %E Spanoudakis, George %E Maciaszek, Leszek A. %I SciTePress %K dblp %P 434-441 %T Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. %U http://dblp.uni-trier.de/db/conf/enase/enase2019.html#LeottaCFOARR19 %@ 978-989-758-375-9

@inproceedings{conf/enase/LeottaCFOARR19, added-at = {2019-06-06T00:00:00.000+0200}, author = {Leotta, Maurizio and Clerissi, Diego and Franceschini, Luca and Olianas, Dario and Ancona, Davide and Ricca, Filippo and Ribaudo, Marina}, biburl = {https://www.bibsonomy.org/bibtex/2e6fadad3de12e83989704f2e9927d1bc/dblp}, booktitle = {ENASE}, crossref = {conf/enase/2019}, editor = {Damiani, Ernesto and Spanoudakis, George and Maciaszek, Leszek A.}, ee = {https://doi.org/10.5220/0007745604340441}, interhash = {cb09fc62d77579595be215cb0f2a61eb}, intrahash = {e6fadad3de12e83989704f2e9927d1bc}, isbn = {978-989-758-375-9}, keywords = {dblp}, pages = {434-441}, publisher = {SciTePress}, timestamp = {2024-04-09T12:39:27.000+0200}, title = {Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study.}, url = {http://dblp.uni-trier.de/db/conf/enase/enase2019.html#LeottaCFOARR19}, year = 2019 }