Computer graphics; Computer programs; Information systems; Tools; Computer applications; Data bases; Validation; Verification;
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:圆角平面车床车削性能预测模型。 II ..模型验证
机译:有色Petri网:用于并行系统形式化建模和验证的图形语言
机译:SMAP上行链路的模型验证和验证处理模型的基于模型的开发方法和用于航空航天系统软件的自动验证
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:验证和验证药物开发中的定量系统药理学和计算机模拟模型:当前的需求差距和挑战
机译:基于模型的图形编辑器,用于支持OntoUML概念模型的创建,验证和确认