Unified modeling language; Tools; Model checking; IEC Standards; XML; Industries; Standards;
机译:类似于C的内存模型的形式验证及其在验证程序转换中的用途
机译:行为模型到模型转换的形式验证技术
机译:用于模型转换的形式验证技术:三维分类
机译:使用中间验证语言正式验证关系模型转换
机译:基于图的模型转换的形式验证
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:类似于C的内存模型的形式验证及其在验证程序转换中的用途