机译:基于细化的弹性管道系统验证
Department of Electrical and Computer Engineering, North Dakota State University;
机译:基于精炼的流水线机器验证组成推理框架
机译:基于改进的层次建模和跨组织协作应急响应过程的正确性验证
机译:广播协议的正式规范和验证:基于改进的方法
机译:基于细化的自适应系统设计模式建模与验证
机译:通过三值逻辑分析进行基于提炼的程序验证。
机译:管道栓塞装置治疗颅内动脉瘤中的血流:幻像模型上的多普勒超声检查的计算仿真和验证
机译:基于细化的交互式实时系统验证
机译:基于细化的方法来开发用于反应系统的软件控制器