A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B. (Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Meryem Afendi. A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B. (Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B). PhD thesis, University of Paris-Est, France, 2022. [doi]

This author has not been identified. Look up 'Meryem Afendi' in Google

runs on WebDSL