Online verification in Cyber-physical Systems: Practical bounds for meaningful temporal costs Articles uri icon

authors

  • BERSANI, MARCELLO M.
  • GARCIA VALLS, MARIA SOLEDAD

publication date

  • March 2018

issue

  • 3

volume

  • 30

International Standard Serial Number (ISSN)

  • 2047-7473

Electronic International Standard Serial Number (EISSN)

  • 2047-7481

subjects

  • Telecommunications

keywords

  • cyber-physical systems; linear temporal logic; real-time; resource management; verification; virtualization