Ecole des Mines de Nantes - INRIA, France;
Atos Research Innovation Dept., Madrid, Spain;
Universidad Autonoma de Madrid, Spain;
Universidad Autonoma de Madrid, Spain;
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
机译:通用和反射图转换,用于检查和执行建模准则
机译:检查模型转换细化
机译:用于字级模型检查的高效抽象和改进
机译:使用检查数据检查半参数转换模型
机译:检查模型转换细化