Formal Model-Based Synthesis of Application-Specific Static RTOS

Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01713063
Contributor : Sébastien Faucou <>
Submitted on : Tuesday, February 20, 2018 - 10:35:16 AM
Last modification on : Tuesday, March 26, 2019 - 9:25:22 AM

Identifiers

Collections

Citation

Kabland Toussaint Gautier Tigori, Jean-Luc Béchennec, Sébastien Faucou, Olivier Henri Roux. Formal Model-Based Synthesis of Application-Specific Static RTOS. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 16 (4), pp.1 - 25. ⟨10.1145/3015777⟩. ⟨hal-01713063⟩

Share

Metrics

Record views

92