...
机译:实现从AADL到基于组件的正式语言FIACRE的经过验证的转换
IRIT-CNRS, Universite de Toulouse, Toulouse, France;
IRIT-CNRS, Universite de Toulouse, Toulouse, France;
IRIT-CNRS, Universite de Toulouse, Toulouse, France;
IRIT-CNRS, Universite de Toulouse, Toulouse, France;
IRIT-CNRS, Universite de Toulouse, Toulouse, France,College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China;
Formal verification; Architecture description languages; Model driven engineering; Model transformation; Timed transition systems;
机译:使用LNT语言制定AADL行为子集的正式规范
机译:通过模型转换探索AADL验证工具
机译:从AADL到定时抽象状态机:经过验证的模型转换
机译:异构模型转化研究:从AADL模型到FIACRE模型
机译:基于组件的方法来验证和确认正式软件模型。
机译:解决正规研究奄奄一息语言的挑战:前进的道路
机译:实现从AADL到基于组件的正式语言FIACRE的经过验证的转换