Time4Sys – Integrating Timing Verification in your Engineering Practices

Type de document :
Poster
RTSS@Work 2018 - 39th IEEE Real-Time Systems Symposium Workshop, Dec 2018, Nashville, United States. 2018, 〈http://2018.rtss.org/rtsswork/〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01957504
Contributeur : Liliana Cucu-Grosjean <>
Soumis le : lundi 17 décembre 2018 - 13:44:37
Dernière modification le : mercredi 6 février 2019 - 10:16:06

Identifiants

  • HAL Id : hal-01957504, version 1

Citation

Loïc Fejoz, Lionel Havet, Aurélien Didier, Benoit Viaud, Anh-Toan Bui Long, et al.. Time4Sys – Integrating Timing Verification in your Engineering Practices. RTSS@Work 2018 - 39th IEEE Real-Time Systems Symposium Workshop, Dec 2018, Nashville, United States. 2018, 〈http://2018.rtss.org/rtsswork/〉. 〈hal-01957504〉

Partager

Métriques

Consultations de la notice

19