Advertisement

Formal Methods in System Design

, Volume 55, Issue 1, pp 72–72 | Cite as

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

  • César SánchezEmail author
  • Gerardo Schneider
  • Wolfgang Ahrendt
  • Ezio Bartocci
  • Domenico Bianculli
  • Christian Colombo
  • Yliès Falcone
  • Adrian Francalanza
  • Srdan Krstić
  • João M. Lourenço
  • Dejan Nickovic
  • Gordon J. Pace
  • Jose Rufino
  • Julien Signoles
  • Dmitriy Traytel
  • Alexander Weiss
Correction
  • 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.

Notes

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  • César Sánchez
    • 1
    Email author
  • Gerardo Schneider
    • 2
  • Wolfgang Ahrendt
    • 3
  • Ezio Bartocci
    • 4
  • Domenico Bianculli
    • 5
  • Christian Colombo
    • 6
  • Yliès Falcone
    • 7
  • Adrian Francalanza
    • 6
  • Srdan Krstić
    • 8
  • João M. Lourenço
    • 9
  • Dejan Nickovic
    • 10
  • Gordon J. Pace
    • 6
  • Jose Rufino
    • 11
  • Julien Signoles
    • 12
  • Dmitriy Traytel
    • 8
  • Alexander Weiss
    • 13
  1. 1.IMDEA Software InstituteMadridSpain
  2. 2.University of GothenburgGöteborgSweden
  3. 3.Chalmers University of TechnologyGöteborgSweden
  4. 4.TU WienViennaAustria
  5. 5.University of LuxembourgLuxembourg CityLuxembourg
  6. 6.University of MaltaMsidaMalta
  7. 7.Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIGGrenobleFrance
  8. 8.ETH ZürichZurichSwitzerland
  9. 9.Universidade Nova de LisboaLisbonPortugal
  10. 10.Austrian Institute of TechnologySeibersdorfAustria
  11. 11.Universidade de LisboaLisbonPortugal
  12. 12.CEA LIST, Software Reliability and Security LabPalaiseauFrance
  13. 13.Accemic Technologies GmbHKiefersfeldenGermany

Personalised recommendations