IRIT/ENSEEIHT 2 Rue Charles Camichel 31071 Toulouse Cedex 7;
ESI BP 68M OUED SMAR,16270, EL HARRACH ALGER;
机译:迈向基于模型的交互式系统自启动和自检一致性测试
机译:特色过渡系统:验证可变性密集系统的基础及其在LTL模型检查中的应用
机译:检查沿数字数据总线MIL-1553B集成的航空电子系统中软件应用程序可靠性的方法
机译:检查系统替代性:互动系统的应用
机译:用于系统验证的符号模型检查及其在决策表和分布式协作发布系统中的应用。
机译:医疗保健中的计算机应用。门诊计算机系统。公共卫生和流行病学系统:艾滋病病例注册互动系统
机译:通过对话形式描述的模型检查,确定交互式系统的词汇,句法和语义属性的V&V
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.