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]

Authors

Marcello M. Bersani

This author has not been identified. Look up 'Marcello M. Bersani' in Google

Marisol García-Valls

This author has not been identified. Look up 'Marisol García-Valls' in Google