Use of runtime enforcement for the test of real-time systems

Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01179648
Contributor : Nathalie Renois <>
Submitted on : Thursday, July 23, 2015 - 10:06:40 AM
Last modification on : Wednesday, December 19, 2018 - 3:26:06 PM

Identifiers

  • HAL Id : hal-01179648, version 1

Citation

Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier Henri Roux. Use of runtime enforcement for the test of real-time systems. 12th IEEE International Conference on Embedded Software and Systems, IEEE ICESS 2015, Aug 2015, New York, United States. ⟨hal-01179648⟩

Share

Metrics

Record views

218