首页> 外文OA文献 >Process Algebra in PVS

【2h】

Process Algebra in PVS

机译：PVS中的过程代数

代理获取

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

页面导航

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

著录项

作者
Twan Basten; Jozef Hooman;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Design of LPV observers for LPV time-delay systems: An algebraic approach [J] . Briat C., Sename O., Lafay J.-F. International Journal of Control . 2011,第7a9期

机译：LPV时滞系统的LPV观测器设计：一种代数方法
2. Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra [J] . Christoph Brandt, Frank Hermann, Jan Friso Groote Journal of research and practice in information technology . 2011,第1期

机译：使用代数图变换和mCRL2流程代数生成和评估业务连续性流程
3. Comparative techno-economic assessment of integrated PV-SOFC and PV-Battery hybrid system for natural gas processing plants [J] . Al-Khori Khalid, Bicer Yusuf, Koc Muammer Energy . 2021,第MAYa1期

机译：用于天然气加工厂集成PV-SOFC和PV电池混合系统的比较技术经济评估
4. Process Algebra in PVS [C] . Twan Gasten, Jozef Hooman International conference on tools and algorithms for the construction and analysis of systems . 1999

机译：PVS中的过程代数
5. Processing-structure-property relationships in injection molded PVDF and blends of PVDF with PMMA [D] . Wang, Yundong 1996

机译：注塑PVDF以及PVDF与PMMA的共混物的加工-结构-性能关系
6. HPV-QUEST: A highly customized system for automated HPV sequence analysis capable of processing Next Generation sequencing data set [O] . Li Yin, Jiqiang Yao, Brent P Gardner, 2012

机译：HPV-QUEST：一种高度定制的系统用于自动HPV序列分析能够处理下一代测序数据集
7. Blendas PVC/NBR por processamento reativo I: desenvolvimento do processo de vulcanização Dinâmica in situ PVC/NBR blends by reactive processing I: in situ dynamic vulcanization process [O] . Fábio R. Passador, Luiz A. Pessan, Antonio Rodolfo Jr. 2007

机译：Blendas pVC / NBR por processamento reativo I：desenvolvimento do processo devulcanizaçãoDinâmica原位pVC / NBR共混物通过反应加工I：原位动态硫化工艺
8. Process Algebra with Guards: Combining Hoare Logic with Process Algebra [R] . Groote, J. F., Ponse, A. 1990

机译：带守卫的过程代数：将Hoare逻辑与过程代数相结合

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号