Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification.

Jean-Luc Béchennec Mikaël Briday Sébastien Faucou Yvon Trinquet

Published in: ETFA (2006)

Keyphrases

learning algorithm
database
formal verification
code generation