Folgen
Louis-Marie Givel
Louis-Marie Givel
IRCCyN
Bestätigte E-Mail-Adresse bei irccyn.ec-nantes.fr
Titel
Zitiert von
Zitiert von
Jahr
Testing real-time embedded software using runtime enforcement
LM Givel, JL Béchennec, M Brun, S Faucou, OH Roux
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), 1-6, 2016
32016
Use of runtime enforcement for the test of real-time systems
LM Givel, M Brun, C Constant, S Faucou, OH Roux
2015 IEEE 17th International Conference on High Performance Computing and …, 2015
22015
Testing real-time systems with runtime enforcement
JL Béchennec, S Faucou, OH Roux, M Brun, LM Givel
IEEE Design & Test 35 (4), 31-37, 2018
12018
Test de systèmes temps réel à l'aide du forçage en ligne
LM Givel
École centrale de Nantes, 2016
2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4