CEA LIST Saclay F-91191 Gif sur Yvette;
Universite d'Evry, IBISC - FRE CNRS 2873, 523 pl. des Terrasses F-91000 Evry;
component based system; ioco-based conformance testing; input/output symbolic transition system; symbolic execution;
机译:动态可重新配置的基于组件的系统上面向安全模型的证明
机译:基于模型的符号测试和软件系统测试的范式
机译:基于符号模型为实时系统生成测试用例
机译:基于符号模型的组件面向系统测试
机译:基于组件的实时嵌入式系统的基于模型的测试技术
机译:以初级保健系统开发为导向的系统方法:以问题为导向的初级保健系统开发记录的开发和初步测试
机译:基于符号模型的组件导向系统测试
机译:基于网络的面向服务的C4IsR系统的基础组件