Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Saved in:
| 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 |
Be the first to leave a comment!
