%0 Journal Article %1 journals/fmsd/SanchezSABBCFFK19 %A Sánchez, César %A Schneider, Gerardo %A Ahrendt, Wolfgang %A Bartocci, Ezio %A Bianculli, Domenico %A Colombo, Christian %A Falcone, Yliès %A Francalanza, Adrian %A Krstic, Srdan %A Lourenço, João M. %A Nickovic, Dejan %A Pace, Gordon J. %A Rufino, José %A Signoles, Julien %A Traytel, Dmitriy %A Weiss, Alexander %D 2019 %J Formal Methods Syst. Des. %K dblp %N 3 %P 279-335 %T A survey of challenges for runtime verification from advanced application domains (beyond software). %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd54.html#SanchezSABBCFFK19 %V 54

@article{journals/fmsd/SanchezSABBCFFK19, added-at = {2023-06-26T00:00:00.000+0200}, author = {Sánchez, César and Schneider, Gerardo and Ahrendt, Wolfgang and Bartocci, Ezio and Bianculli, Domenico and Colombo, Christian and Falcone, Yliès and Francalanza, Adrian and Krstic, Srdan and Lourenço, João M. and Nickovic, Dejan and Pace, Gordon J. and Rufino, José and Signoles, Julien and Traytel, Dmitriy and Weiss, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/296aafb2d89a178808db1018378370c50/dblp}, ee = {https://doi.org/10.1007/s10703-019-00337-w}, interhash = {5a0997d60f2a56241b73a43f61f73b86}, intrahash = {96aafb2d89a178808db1018378370c50}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {279-335}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {A survey of challenges for runtime verification from advanced application domains (beyond software).}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd54.html#SanchezSABBCFFK19}, volume = 54, year = 2019 }