CNRS, LAAS, 7 avenue colonel Roche, F-31077 Toulouse, France Universite de Toulouse, UPS, INSA, INP, ISAE, UT1, UTM, F-31062 Toulouse, France;
rnCNRS, IRIT, Universit6 de Toulouse, 118 route de Narbonne, F-31062 Toulouse, France Universite de Toulouse, UPS, INSA, INP, ISAE, UT1, UTM, F-31062 Toulouse, France;
rnCNRS, IRIT, Universit6 de Toulouse, 118 route de Narbonne, F-31062 Toulouse, France Universite de Toulouse, UPS, INSA, INP, ISAE, UT1, UTM, F-31062 Toulouse, France;
rnCNRS, LAAS, 7 avenue colonel Roche, F-31077 Toulouse, France Universite de Toulouse, UPS, INSA, INP, ISAE, UT1, UTM, F-31062 Toulouse, France;
rnCNRS, IRIT, Universit6 de Toulouse, 118 route de Narbonne, F-31062 Toulouse, France Universite de Toulouse, UPS, INSA, INP, ISAE, UT1, UTM, F-31062 Toulouse, France;
rnCNRS, LAAS,;
机译:使用LNT语言制定AADL行为子集的正式规范
机译:实现从AADL到基于组件的正式语言FIACRE的经过验证的转换
机译:半正式规范和正式验证可改善数字设计:一些统计数据
机译:托盘环境中AADL规范的正式验证
机译:JVM及其字节码验证程序的正式规范和验证。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:顶级案例环境中AADL规范的形式验证
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术