A two-level formal specification of a defense communications system

机译：防御通信系统的两级正式规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
G.H. Chisholm; R.A. Kemmerer;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal specification and verification of reusable communication models for distributed systems architecture [J] . Quentin Rouland, Brahim Hamid, Jason Jaskolka Future generation computer systems . 2020,第Jula期

机译：分布式系统体系结构的可重用通信模型的正式规范和验证
2. Describing distributed systems with formal specification language focusing on deployment and communication paths of components [J] . Hayato Miyata, Kazuhiro Fujieda, Koichiro Ochimizu 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第569期

机译：描述具有正式规范语言的分布式系统，专注于部署和组件的通信路径
3. Describing distributed systems with formal specification language focusing on deployment and communication paths of components [J] . Hayato Miyata, Kazuhiro Fujieda, Koichiro Ochimizu 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2000,第569期

机译：描述具有正式规范语言的分布式系统，专注于部署和组件的通信路径
4. Formal specification of software systems using two-level grammar [C] . Bryant, B.R. . 1991

机译：使用两级语法的软件系统正式规范
5. Automated conversion from a requirements document to an executable formal specification using two-level grammar and contextual natural language processing. [D] . Lee, Beum-Seuk. 2003

机译：使用两级语法和上下文自然语言处理，将需求文档自动转换为可执行的正式规范。
6. Parlaying digital imaging and communications in medicine and open architecture to our advantage: The new Department of Defense picture archiving and communications system [O] . Michael A. Cawthon 1999

机译：充分利用医学和开放式体系结构中的数字成像和通信优势：新的国防部图片存档和通信系统
7. Formal specification of a voice communication system used in air traffic control an industrial application of light-weight formal methods using vdm [O] . Johann Hörl, Bernhard K. Aichernig 1999

机译：空中交通中使用的语音通信系统的正式规范控制了使用VDM的轻质正式方法的工业应用
8. Two-level formal specification of a defense communications system [R] . Chisholm, G H, Kemmerer, R A 1994

机译：防御通信系统的两级正式规范

A two-level formal specification of a defense communications system

著录项

引文网络

相似文献

相关主题

期刊订阅