Specification and Runtime Verification of Temporal Assessments in Simulink - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti. Specification and Runtime Verification of Temporal Assessments in Simulink. In Lu Feng 0001, Dana Fisman, editors, Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings. Volume 12974 of Lecture Notes in Computer Science, pages 288-296, Springer, 2021. [doi]

This author has not been identified. Look up 'Akshay Rajhans' in GoogleThis author has not been identified. Look up 'Anastasia Mavrommati' in GoogleThis author has not been identified. Look up 'Pieter J. Mosterman' in GoogleThis author has not been identified. Look up 'Roberto G. Valenti' in Google

runs on WebDSL