Bibliographic Details
| Title: |
A survey of challenges for runtime verification from advanced application domains (beyond software). |
| Authors: |
Sánchez, César1, cesar.sanchez@imdea.org, Schneider, Gerardo2, gersch@chalmers.se, Ahrendt, Wolfgang3, Bartocci, Ezio4, Bianculli, Domenico5, Colombo, Christian6, Falcone, Yliès7, Francalanza, Adrian6, Krstić, Srđan8, Lourenço, Joa̋o M.9, Nickovic, Dejan10, Pace, Gordon J.6, Rufino, Jose11, Signoles, Julien12, Traytel, Dmitriy8, Weiss, Alexander13 |
| Source: |
Formal Methods in System Design; 2019, Vol. 54 Issue 3, p279-335, 57p |
| Database: |
Applied Science & Technology Source |
