César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss. Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, 55(1):72, 2019. [doi]
@article{SanchezSABBCFFK19a,
title = {Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)},
author = {César Sánchez and Gerardo Schneider and Wolfgang Ahrendt and Ezio Bartocci and Domenico Bianculli and Christian Colombo and Yliès Falcone and Adrian Francalanza and Srdan Krstic and João M. Lourenço and Dejan Nickovic and Gordon J. Pace and José Rufino and Julien Signoles and Dmitriy Traytel and Alexander Weiss},
year = {2019},
doi = {10.1007/s10703-019-00343-y},
url = {https://doi.org/10.1007/s10703-019-00343-y},
researchr = {https://researchr.org/publication/SanchezSABBCFFK19a},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {55},
number = {1},
pages = {72},
}