首页> 外文OA文献 >Formal specification and verification of a dataflow processor array

【2h】

Formal specification and verification of a dataflow processor array

机译：数据流处理器阵列的正式规范和验证

页面导航

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

著录项

作者
Thomas A. Henzinger; Xiaojun Liu; Shaz Qadeer; Sriram K. Rajamani;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal specification and verification of multimedia systems in open distributed processing [J] . Lynne Blair, Gordon Blair, Howard Bowman, Computer standards & interfaces . 1995,第5a6期

机译：开放分布式处理中多媒体系统的正式规范和验证
2. 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期

机译：端到端正式规范，验证和验证过程：太空飞行软件的案例研究
3. Semantically extended dataflow diagrams: a formal specification tool [J] . France R.B. IEEE Transactions on Software Engineering . 1992,第4期

机译：语义扩展的数据流图：正式的规范工具
4. Formal specification and verification of a dataflow processor array [C] . Henzinger, T.A., Xiaojun Liu . 1999

机译：数据流处理器阵列的正式规范和验证
5. Specification and formal verification of fuzzy information processing for the case of edge detection. [D] . Keskin, Kemal. 2009

机译：边缘检测情况下模糊信息处理的规范和形式验证。
6. Revisiting the dataflow principle for chemical information processing [O] . Wolf D Ihlenfeldt 2012

机译：重新审视化学信息处理的数据流原理
7. WorkflowFM: A Logic-based Formal Verification Framework for Process Specification and Composition [O] . Papapanagiotou, Petros, Fleuriot, Jacques 2017

机译：WorkflowFm：基于逻辑的流程规范和组合形式验证框架

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号