论文信息 - Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) - 字舞流文

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

Dejan Nickovic | Gordon J. Pace | Ezio Bartocci | José Rufino | Julien Signoles | Adrian Francalanza | Christian Colombo | Yliès Falcone | João Lourenço | Wolfgang Ahrendt | Domenico Bianculli | Gerardo Schneider | Dmitriy Traytel | Srdan Krstic | Alexander Weiss | César Sánchez