首页> 外文OA文献 >1Formal Methods for Verification and Validation of partial specifications: A Case Study

【2h】

1Formal Methods for Verification and Validation of partial specifications: A Case Study

机译：1部分规范验证和验证的正式方法：案例研究

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Steve Easterbrook; John Callahan;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study [J] . Vidar Sl°atten, Frank Alexander Kraemer, Peter Herrmann ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2012,第3期

机译：致力于自动生成形式规范以验证和验证可靠的分布式系统：以工业案例研究为例的方法
2. Study of Verification and Validation of Standard Welding Procedure Specifications Guidelines for API 5L X-70 Grade Line Pipe Welding [J] . Hafiz Abdul Ahad Qazi Oil & Gas Research . 2017,第3期

机译：API 5L X-70级管线管焊接标准焊接工艺规范指南的验证与确认研究
3. End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software [J] . Alves M.C.B., Drusinsky D., Michael J.B., IEEE systems journal . 2013,第4期

机译：端到端正式规范，验证和验证过程：太空飞行软件的案例研究
4. Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems A Method Exemplified by an Industrial Case Study [C] . Vidar Slatten, Frank Alexander Kraemer, Peter Herrmann Proceedings of the Tenth international conference on generative programming and component engineering. . 2011

机译：实现自动生成正式规格以验证和验证可靠的分布式系统的方法，以工业案例研究为例
5. Using Gaussian mixture model and partial least squares regression classifiers for robust speaker verification with various enhancement methods [D] . Edwards, Joshua Scott. 2017

机译：使用Gaussian混合模型和偏最小二乘回归分类，用于具有各种增强方法的强大扬声器验证
6. Data on the verification and validation of segmentation and registration methods for diffusion MRI [O] . Oscar Esteban, Dominique Zosso, Alessandro Daducci, 2016

机译：有关扩散MRI分割和配准方法的验证和确认数据
7. Formal Methods for Verification and Validation of Partial Specifications: A Case Study [O] . Easterbrook Steve, Callahan John 1997

机译：部分规格验证的正式方法：案例研究
8. Formal Methods for Verification and Validation of Partial Specifications: A Case Study [R] . Easterbrook, S. , Callahan, J. 1997

机译：部分规范验证和验证的形式化方法：案例研究

1Formal Methods for Verification and Validation of partial specifications: A Case Study

著录项

引文网络

相似文献

相关主题

期刊订阅