Time4Sys – Integrating Timing Verification in your Engineering Practices

Document type :
Poster communications
Complete list of metadatas

https://hal.inria.fr/hal-01957504
Contributor : Liliana Cucu-Grosjean <>
Submitted on : Monday, December 17, 2018 - 1:44:37 PM
Last modification on : Wednesday, February 6, 2019 - 10:16:06 AM

Identifiers

  • 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. ⟨hal-01957504⟩

Share

Metrics

Record views

88