A Formal Syntax and a Formal Semantics for Open Estelle

机译：开放式Estelle的形式语法和形式语义

代理获取

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

页面导航

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

著录项

作者
Thees J.; Gotzhein R.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling [J] . Zinovy Diskin, Boris Kadish Data & Knowledge Engineering . 2003,第1期

机译：键化广义草图的变量集语义：用于对象标识的形式语义和用于概念建模的抽象语法
2. Formal syntax and semantics of basic function blocks in IEC 61499 [J] . Y. Tu, D. Li, S. Li Proceedings of the Institution of Mechanical Engineers, Part C. Journal of mechanical engineering science . 2012,第4期

机译：IEC 61499中基本功能块的形式语法和语义
3. Rich meta object facility formal integration platform: syntax, semantics and implementation [J] . Ralf Buschermohle, Jorg Oelerink Innovations in Systems and Software Engineering . 2008,第3期

机译：丰富的元对象设施正式集成平台：语法，语义和实现
4. Combining Formal and Distributional Semantics: An Argument from the Syntax and Semantics of Modification [C] . Louise McNally International conference on logical aspects of computational linguistics . 2016

机译：形式和分布语义的结合：从修饰的句法和语义出发
5. A comparison of the perceptions of the importance of formal supervision training between formally trained counselor supervisors and non-formally trained counselor supervisors. [D] . Krushinski, Maura. 2004

机译：正式培训的辅导员主管与非正式培训的辅导员主管之间对正式督导培训的重要性的看法进行了比较。
6. How to Constrain and Maintain a Lexicon for the Treatment of Progressive Semantic Naming Deficits: Principles of Item Selection for Formal Semantic Therapy [O] . Jamie Reilly -1

机译：如何限制和维护用于逐步进行语义命名不足的词汇：形式语义疗法的项目选择原则
7. Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language in Mathematical Tool Coq [O] . Zheng Yang, Hang Lei 2020

机译：Lolisa：数学工具COQ中的稳定性编程语言子集的正式语法和语义
8. Formal Syntax and Semantics for the GSPML Language [R] . McDermott, J. P. 2005

机译：GspmL语言的形式语法和语义

A Formal Syntax and a Formal Semantics for Open Estelle

著录项

引文网络

相似文献

相关主题

期刊订阅