...
机译:在模型检查中使用模型检查技术为非专业人员验证业务规则
机译:dev-proMela:通过组合模型检查和仿真来建模,验证和验证视频游戏
机译:是LTL模型检查有效可诊断验证吗?
机译:模型检查依赖于推测的安全属性:为声音和完整验证抽象和减少处理器模型?
机译:模型检查的业务流程的组成验证
机译:用于系统验证的符号模型检查及其在决策表和分布式协作发布系统中的应用。
机译:使用商业模型方法和营销技术招募到临床试验
机译:使用模型检查技术验证Web服务流
机译:计算科学:用于验证电子合同的高级模型检查工具