机译:基于DEVS的枢轴建模形式主义及其验证和验证框架
African University of Science & Technology;
Université des Sciences des Techniques et des Technologies;
Université des Sciences des Techniques et des Technologies;
University of Bordeaux;
High Level Language for Systems Specification (HiLLS); Discrete Event System Specification (DEVS); formal verification; temporal logic; model transformation; UPPAAL;
机译:在基于DEVS的系统开发方法中验证离散事件模型的框架
机译:基于DEVS的移动代理系统建模/仿真框架
机译:建立一个框架,以更健壮地验证和验证系统系统的仿真模型
机译:Modelica中基于Devs的多形式主义建模与仿真
机译:用于业务流程建模和验证的图形和逻辑形式主义。
机译:用于验证和验证临床分子遗传测试的标准化框架
机译:如何将模型与现实联系起来?计算模型验证和验证的认识论框架
机译:验证和验证的通用方法(Gm-VV),以支持模型,模拟和数据的接受(methodologie generale de verification et de validation(Gm-VV)visant a soutenir l acceptation des modeles,simulations et donnees)。