...
机译:从AADL到定时抽象状态机:经过验证的模型转换
School of Computer Science and Engineering, Beihang University, Beijing, China,IRIT-CNRS, Universite de Toulouse, Toulouse, France;
School of Computer Science and Engineering, Beihang University, Beijing, China;
School of Computer Science and Engineering, Beihang University, Beijing, China;
IRIT-CNRS, Universite de Toulouse, Toulouse, France;
INTECS, Toulouse, France;
INRIA-Rennes, Campus de Beaulieu, Rennes, France;
Model-driven engineering; Architecture Analysis and Design Language (AADL); Model transformation; Semantics preservation; Timed Abstract State Machine (TASM); Coq;
机译:基于MDE的工具链将AADL模型转换为定时自动机模型
机译:通过模型转换探索AADL验证工具
机译:实现从AADL到基于组件的正式语言FIACRE的经过验证的转换
机译:定时抽象状态机中AADL模式的形式语义和验证
机译:可靠的嵌入式硬件系统的抽象解释器建模和验证方法。
机译:摘要:使用改良的心肺机对缺血性皮瓣进行11.00氧合的游离皮瓣灌注以最大程度地减少缺血期间的组织损伤:在猪模型中的可行性研究和初步结果
机译:从AADL到定时抽象状态机:经过验证的模型转换