Institut de Recherche en Informatique de Toulouse;
Université de Toulouse;
Toulouse;
France;
北京航空航天大学计算机学院;
北京 100191;
北京航空航天大学计算机学院;
北京 100191;
北京航空航天大学计算机学院;
北京 100191;
北京航空航天大学计算机学院;
北京 100191;
Institut de Recherche en Informatique de Toulouse;
Université de Toulouse;
Toulouse;
France;
AADL(architecture analysis and design language); TASM(timed abstract state machine); 模型转换; 形式验证;