Use of runtime enforcement for the test of real-time systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

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

Domaines

Génie logiciel [cs.SE]

Nathalie Renois  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01179648

Soumis le : jeudi 23 juillet 2015-10:06:40

Dernière modification le : vendredi 5 janvier 2024-03:23:10

Fichier non déposé

Dates et versions

hal-01179648 , version 1 (23-07-2015)

Identifiants

  • HAL Id : hal-01179648 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN UNAM ESEO-TECH ESEO-TRAME LS2N ESEO-ERIS NANTES-UNIVERSITE
192 Consultations
0 Téléchargements

Partager

More