LTCI, Telecom ParisTech, Paris, France;
Abstraction; Analysis; MARTE; Real-time systems;
机译:将模型驱动的开发应用于分布式实时和嵌入式航空电子系统
机译:分层实时系统的可调度性分析和工作量抽象的过程代数方法
机译:不同抽象对分布式硬实时系统性能分析的影响
机译:用于航空实时系统详细分析的高级抽象建模
机译:详细的燃料电池建模,用于基于煤炭的集成气化燃料电池系统的设计和分析。
机译:对大鼠中风大脑中动脉闭塞模型中行为测试的系统和详细分析:长期评估测试
机译:实时嵌入式系统设计中的异构模型和分析-航空案例研究
机译:aDa航空电子实时系统模型:实时系统开发中硬件/软件协同设计方法的优势示例