首页> 外文OA文献 >An Algebraic Method For Verifying Progress Property of Communication Protocolos

【2h】

An Algebraic Method For Verifying Progress Property of Communication Protocolos

机译：一种验证通信协议进度性质的代数方法

代理获取

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

页面导航

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

著录项

作者
HIGASHINO Teruo; TANIGUCHI Kenichi; KASAMI Tadao; FUJII Mamoru; MORI Masaaki;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Algebraic verification method for SEREs properties via groebner bases approaches [J] . Zhou N., Wu J., Gao X. Journal of applied mathematics . 2013,第Pta2期

机译：基于Groebner基方法的SEREs性质的代数验证方法。
2. Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches [J] . NingZhou, JinzhaoWu, XinyanGao Journal of applied mathematics . 2013,第5期

机译：Groebner基方法对SEREs属性的代数验证方法
3. Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation [J] . Marco Bernardo, Edoardo Bonta, Alessandro Aldini Journal of systems and software . 2010,第8期

机译：使用过程代数体系结构描述语言处理通信：建模，验证和实现
4. Verifying Erlang Telecommunication Systems with the Process Algebra μCRL [C] . Qiang Guo, John Derrick, Csaba Hoch Formal Techniques for Networked and Distributed Systems- FORTE 2008 . 2008

机译：使用过程代数μCRL验证Erlang电信系统
5. Algebraic framework for the verification of confidentiality properties. [D] . Sabri, Khair Eddin M. 2010

机译：验证机密性的代数框架。
6. Dielectric Properties of Glass Beads with Talc as a Reference Material for Calibration and Verification of Dielectric Methods and Devices for Measuring Soil Moisture [O] . Justyna Szerement, Hironobu Saito, Kahori Furuhata, 2020

机译：以滑石粉为参考材料的玻璃微珠的介电特性用于介电方法和土壤水分测量装置的校准和验证
7. Report on the operation of the mass balance verification method for the biofuels and bioliquids sustainability scheme in accordance with Article 18(2) of Directive 2009/28/EC. Accompanying document to the communication from the Commission to the European Parliament and the Council. Renewable Energy: Progressing towards the 2020 target COM (2011) 31 final. SEC (2011) 129 final, 31 January 2011 [O] . 2011

机译：根据指令2009/28 / EC第18（2）条报告生物燃料和生物液体可持续性计划的质量平衡验证方法的运行情况。随附委员会向欧洲议会和理事会通报的文件。可再生能源：实现2020年目标COm（2011）31 final。 sEC（2011）129 final，2011年1月31日
8. Verifying an Infinite Systolic Algorithm using Third-Order Algebraic Methods. [R] . Steggles, L. J. 2003

机译：用三阶代数方法验证无限收缩算法。

An Algebraic Method For Verifying Progress Property of Communication Protocolos

著录项

引文网络

相似文献

相关主题

期刊订阅