Automated Model-Based Generation of Ravenscar-Compliant Source Code

Matteo Bordin, Tullio Vardanega. Automated Model-Based Generation of Ravenscar-Compliant Source Code. In 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 6-8 July 2005, Palma de Mallorca, Spain, Proceedings. pages 59-67, IEEE Computer Society, 2005. [doi]

Authors

Matteo Bordin

This author has not been identified. Look up 'Matteo Bordin' in Google

Tullio Vardanega

This author has not been identified. Look up 'Tullio Vardanega' in Google