Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)
- 115 Downloads
1 Correction to: Formal Methods in System Design https://doi.org/10.1007/s10703-019-00337-w
The correct name of the seventh author is Yliès Falcone.
His correct affiliation is Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, 38000 - Grenoble, France
The original article has been updated.
© Springer Science+Business Media, LLC, part of Springer Nature 2019