...
机译:通过过程模型的形式验证来教授MDE
机译:MDE中静态软件模型的形式验证:系统回顾
机译:寻求一种基于MDE类型的Web服务的中介协议的形式验证的方法
机译:流程挖掘正式业务流程建模和验证方法:案例研究
机译:使用MDE对通过UML序列图建模的嵌入式系统进行形式验证
机译:逐行自动验证并行处理器中内存一致性的正式验证
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:MDE 2.0:务实的形式模型验证和其他挑战
机译:关于浮点协处理器的形式验证及其与中央处理单元的组合