实施多周期关键系统：从设计到代码生成
摘要：多实时约束关键嵌入式系统开发的完整方案
作者：Julien Forget (1) and Fr''ed''eric Boniol (1) and David Lesens (2) and Claire Pagetti (1) ((1) ONERA, Toulouse, France and (2) EADS Astrium Space Transportation, Les Mureaux, France)
论文ID：1003.2871
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-04-01