Testing real-time embedded software using runtime enforcement - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Testing real-time embedded software using runtime enforcement

Domaines

Génie logiciel [cs.SE]

Nathalie Renois  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01399909

Soumis le : lundi 21 novembre 2016-10:38:42

Dernière modification le : vendredi 5 janvier 2024-03:24:11

Fichier non déposé

Dates et versions

hal-01399909 , version 1 (21-11-2016)

Identifiants

  • HAL Id : hal-01399909 , version 1

Citer

Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier Henri Roux. Testing real-time embedded software using runtime enforcement. 11th IEEE International Symposium on Industrial Embedded Systems, IEEE SIES 2016, May 2016, Krakow, Poland. ⟨hal-01399909⟩

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
132 Consultations
0 Téléchargements

Partager

More