首页> 外文OA文献 >Specification of distributed systems with a combination of graphical and formal languages

【2h】

Specification of distributed systems with a combination of graphical and formal languages

机译：结合图形和正式语言的分布式系统的规范

页面导航

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

著录项

作者
Einar B. Johnsen; Wenhui Zhang; Demissie B. Aredo;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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期

机译：描述具有正式规范语言的分布式系统，专注于部署和组件的通信路径
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. A mobile system of word-for-word translation based on formal specifications for rendering of scientific texts in inflectional languages [J] . N.M.Mishchenko Cybernetics and Systems Analysis . 1999,第1期

机译：一种基于正式规范的词对词翻译移动系统，用于用屈折语言呈现科学文本
4. Specification of distributed systems with a combination of graphical and formal languages [C] . Johnsen, E.B., Owe, . 2001

机译：结合图形和形式语言的分布式系统规范
5. Formal Semantic Specification of Domain-Specific Modeling Languages for Cyber-Physical Systems. [D] . Simko, Gabor. 2014

机译：电子物理系统领域特定建模语言的形式语义规范。
6. RevBayes: Bayesian Phylogenetic Inference Using Graphical Models and an Interactive Model-Specification Language [O] . Sebastian Höhna, Michael J. Landis, Tracy A. Heath, -1

机译：RevBayes：使用图形模型和交互式模型规范语言的贝叶斯系统发生推理
7. ASLan++ — A formal security specification language for distributed systems [O] . David Von Oheimb 2015

机译：asLan ++ - 分布式系统的正式安全规范语言
8. Towards a Language and Notation for the Specification of Reliable Real-TimeSystems, Part 4 Revised. Requirements and Design Specification Language. Formal Definition [R] . Wieczorek, M. J., Vytopil, J. 1990

机译：关于可靠实时系统规范的语言和符号，第4部分修订。要求和设计规范语言。正式定义

Specification of distributed systems with a combination of graphical and formal languages

著录项

引文网络

相似文献

相关主题

期刊订阅