Formal Model-Based Synthesis of Application-Specific Static RTOS

Tigori Kabland Toussaint Gautier, Jean-Luc Béchennec, Sébastien Faucou, Olivier Henry Roux. Formal Model-Based Synthesis of Application-Specific Static RTOS. ACM Trans. Embedded Comput. Syst., 16(4), 2017. [doi]

Abstract

Abstract is missing.