Model transformations; by-demonstration specification; model checking; model-driven development; theorem proving;
机译:用于模型转换的形式验证技术:三维分类
机译:行为模型到模型转换的形式验证技术
机译:类似于C的内存模型的形式验证及其在验证程序转换中的用途
机译:用于模型变换的正式验证技术,由演示指定
机译:基于图的模型转换的形式验证
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:用于模型转换的形式验证技术:三维分类
机译:使用Information211系统技术正式规范和程序转换来设计OsI CCR协议的实现