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]
No references recorded for this publication.
No citations of this publication recorded.