Bibliographic Details
| Title: |
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). |
| Authors: |
Sánchez, César1, cesar.sanchez@imdea.org, Schneider, Gerardo2, Ahrendt, Wolfgang3, Bartocci, Ezio4, Bianculli, Domenico5, Colombo, Christian6, Falcone, Yliès7, Francalanza, Adrian6, Krstić, Srdan8, Lourenço, João M.9, Nickovic, Dejan10, Pace, Gordon J.6, Rufino, Jose11, Signoles, Julien12, Traytel, Dmitriy8, Weiss, Alexander13 |
| Source: |
Formal Methods in System Design; Dec2019, Vol. 55 Issue 1, p72-72, 1p |
| Database: |
Applied Science & Technology Source |
