A survey of challenges for runtime verification from advanced application domains (beyond software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srđan Krstić, João M Lourenço, Dejan Nickovic, Gordon J Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Posted Jan 1, 2019