From OWL-S to Timed Automata Network: Operational Semantic

机译：从OWL-S到定时自动机网络：操作语义

代理获取

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

页面导航

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

著录项

作者
Amel Boumaza; Ramedane Maamri;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. From OWL-S to Timed Automata Network: Operational Semantic [J] . Boumaza Amel, Maamri Ramedane Procedia Computer Science . 2016,第1期

机译：从OWL-S到定时自动机网络：操作语义
2. Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach [J] . Amel Boumaza, Ramdane Maamri Journal of information technology research . 2018,第1期

机译：将OWL-S过程模型映射到定时自动机：一种检查定时时间逻辑的模型检查方法
3. Revisiting Local Time Semantics for Networks of Timed Automata [J] . R. Govind, Frdric Herbreteau, B. Srivathsan, LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：重新审视定时自动网络的本地时间语义
4. A Compositional Operational Semantics for OWL-S [C] . Barry Norton, Simon Foster, Andrew Hughes European Performance Engineering Workshop(EPEW 2005) and International Workshop on Web Services and Formal Methods(WS-FM 2005); 20050901-03; Versailles(FR) . 2005

机译：OWL-S的组合操作语义
5. Semantics of timed dataflow networks. [D] . Yates, Robert Kim. 1993

机译：定时数据流网络的语义。
6. Application of Stochastic Automata Networks for Creation of Continuous Time Markov Chain Models of Voltage Gating of Gap Junction Channels [O] . Mindaugas Snipas, Henrikas Pranevicius, Mindaugas Pranevicius, -1

机译：随机自动机网络在间隙连接通道电压门控连续时间马尔可夫链模型创建中的应用
7. A compositional operational semantics for OWL-S [O] . Barry Norton, Simon Foster, Andrew Hughes 2005

机译：OWL-S的组合操作语义

From OWL-S to Timed Automata Network: Operational Semantic

著录项

引文网络

相似文献

相关主题

期刊订阅