Applied Statistical Model Checking for a Sensor Behavior Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga. Applied Statistical Model Checking for a Sensor Behavior Analysis. In Martin J. Shepperd, Fernando Brito e Abreu, Alberto Rodrigues da Silva, Ricardo Pérez-Castillo, editors, Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings. Volume 1266 of Communications in Computer and Information Science, pages 399-411, Springer, 2020. [doi]

This author has not been identified. Look up 'Salim Chehida' in GoogleThis author has not been identified. Look up 'Abdelhakim Baouya' in GoogleThis author has not been identified. Look up 'Saddek Bensalem' in GoogleThis author has not been identified. Look up 'Marius Bozga' in Google

runs on WebDSL