SE-LTL Model-checking on Timed GRAFCETS via ε-TPN

机译：SE-LTL通过ε-tpn模型检查定时grafcet

代理获取

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

页面导航

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

著录项

作者
Médésu Sogbohossou; Rodrigue Yehouessi; Tahirou Djara; Theophile Aballo; Antoine Vianou;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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过程模型映射到定时自动机：一种检查定时时间逻辑的模型检查方法
2. Control Design for Bounded Partially Controlled TPNs Using Timed Extended Reachability Graphs and MDP [J] . Quantum electronics . 2020,第6期

机译：使用定时扩展到达性图和MDP的有界部分控制TPN的控制设计
3. Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study [J] . Nadeem Akhtar, Muhammad Nauman Journal of Software Engineering and Applications . 2015,第2期

机译：基于时间自动机的多智能体模型检查：案例研究
4. On the Fly Model-Checking of TPN: TPN - TCTL~Δ_h [C] . Naima Jbeli, Zohra Sbai, Rahma Ben Ayed World Conference on Information Systems and Technologies . 2018

机译：TPN的飞行模型检查：TPN - TCTL~Δ_H
5. The roles of the protein tyrosine phosphatases PTPN3 and PTPN4 in T cells and PTPN11 in tissue remodeling. [D] . Bauler, Timothy J. 2009

机译：T细胞中蛋白酪氨酸磷酸酶PTPN3和PTPN4以及PTPN11在组织重塑中的作用。
6. Pristimerin inhibits glioma progression by targeting AGO2 and PTPN1 expression via miR-542-5p [O] . Zaiyu Li, Cong Hu, Yu Zhen, 2019

机译：Pristimerin通过miR-542-5p靶向AGO2和PTPN1表达来抑制神经胶质瘤进展
7. Robust Model-Checking of Linear-Time Properties in Timed Automata [O] . Bouyer, Patricia, Markey, Nicolas, Reynier, Pierre-Alain 2006

机译：定时自动机中线性时间属性的鲁棒模型检查

SE-LTL Model-checking on Timed GRAFCETS via ε-TPN

著录项

引文网络

相似文献

相关主题

期刊订阅