首页> 外文OA文献 >Formal Aspects of Computing Superposition: composition vs refinement of non-deterministic, action-based systems

【2h】

Formal Aspects of Computing Superposition: composition vs refinement of non-deterministic, action-based systems

机译：计算叠加的形式方面：非确定性，基于行动的系统的构成与细化

代理获取

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

页面导航

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

著录项

作者
Antónia Lopes; José Luiz Fiadeiro;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Superposition: composition vs refinement of non-deterministic, action-based systems [J] . Antonia Lopes, Jose Luiz Fiadeiro Formal Aspects of Computing . 2004,第1期

机译：叠加：非确定性，基于动作的系统的组合与完善
2. Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects [J] . Benoit Delahaye, Benoit Caillaud, Axel Legay Formal Methods in System Design . 2011,第1期

机译：概率合同：一种用于设计具有随机和/或非确定性方面的系统的组成推理方法
3. Action-based union of the temporal opposites in scheduling: non-deterministic approach [J] . Junichi Yagi, Eiji Arai, Keiichi Shirase, Automation in construction . 2003,第3期

机译：调度中时间对立的基于动作的并集：非确定性方法
4. Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems [C] . Angel V. Baranda, Fernando Arroyo, Juan Castellanos, International Workshop on DNA-Based Computers . 2002

机译：朝向膜计算的电子实现：过渡P系统中非确定性演变的正式描述
5. An acoustic superposition method for computing structural radiation in spatially digitized domains. [D] . Zellers, Brian C. 2006

机译：一种声学叠加方法，用于计算空间数字化域中的结构辐射。
6. Methodologies for Medical Computing. Date Bases and Management Database Management: Smart Files: A Method of Managing Non-Deterministic Data for Multi-Tasking and Distributed Systems [O] . Paul D. Keltz, Catherine N. Pfeil, Melanie H. Okawachi, 1983

机译：医学计算方法。日期基础和管理数据库管理：智能文件：一种用于管理多任务和分布式系统的不确定数据的方法
7. Superposition: Composition vs refinement of non-deterministic, action-based systems [O] . Lopes, A, Fiadeiro, JL 2004

机译：叠加：非确定性，基于动作的系统的组合与完善
8. Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition [R] . Jeffords, R., Heitmeyer, C., Archer, M., 2009

机译：利用局部细化和组合开发不可纠正的容错系统的形式化方法

Formal Aspects of Computing Superposition: composition vs refinement of non-deterministic, action-based systems

著录项

引文网络

相似文献

相关主题

期刊订阅