Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs

Marcello M. Bersani, Marisol GarcĂ­a-Valls. Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. Journal of Software Maintenance, 30(3), 2018. [doi]

Abstract

Abstract is missing.