Formal Model-Based Synthesis of Application-Specific Static RTOS - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2017

Formal Model-Based Synthesis of Application-Specific Static RTOS

Fichier non déposé

Dates et versions

hal-01713063 , version 1 (20-02-2018)

Identifiants

Citer

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), 2017, 16 (4), pp.1 - 25. ⟨10.1145/3015777⟩. ⟨hal-01713063⟩
118 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More