Use our pre-submission checklist
Avoid common mistakes on your manuscript.
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Sánchez, C., Schneider, G., Ahrendt, W. et al. Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Form Methods Syst Des 55, 72 (2019). https://doi.org/10.1007/s10703-019-00343-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10703-019-00343-y