Formalizing FreeRTOS: First Steps

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-642-10452-7_8 ◽

2009 ◽

pp. 101-117 ◽

Author(s):

David Déharbe ◽

Stephenson Galvão ◽

Anamaria Martins Moreira

Download Full-text