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

Formal Model-Based Synthesis of Application-Specific Static RTOS

Domaines

Systèmes embarqués

Sébastien Faucou  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01713063

Soumis le : mardi 20 février 2018-10:35:16

Dernière modification le : mardi 27 août 2024-12:48:38

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES UNAM LS2N LS2N-STR NANTES-UNIVERSITE
130 Consultations
0 Téléchargements

Altmetric

Partager

More