Model Checking One-clock Priced Timed Automata

机译：模型检查一时钟定时定时自动机

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Bouyer, Patricia; Larsen, Kim Guldstrand; Markey, Nicolas;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Model Checking One-clock Priced Timed Automata [J] . PatriciaBouyer, KimGulsLarsen, NicolasMarkey Logical Methods in Computer Science . 2008,第2期

机译：模型检查一时钟定时定时自动机
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. Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking [J] . Bozena Wozna-Szczesniak, Andrzej Zbrzezny Fundamenta Informaticae . 2014,第4期

机译：通过有界模型检查来检查离散定时自动机的MTL属性
4. Model-Checking One-Clock Priced Timed Automata [C] . Patricia Bouyer, Kim G. Larsen, Nicolas Markey Foundations of Software Science and Computation Structures; Lecture Notes in Computer Science; 4423 . 2007

机译：模型检查一时钟定时定时自动机
5. Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking. [D] . Chang, Che-Wei. 2015

机译：使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
6. Model Checking Temporal Logic Formulas Using Sticker Automata [O] . Weijun Zhu, Changwei Feng, Huanmei Wu 2006

机译：使用贴纸自动机模型检查时间逻辑公式
7. Model Checking One-clock Priced Timed Automata [O] . Bouyer, Patricia, Larsen, Kim Guldstrand, Markey, Nicolas 2008

机译：模型检查一时钟定时自动机

Model Checking One-clock Priced Timed Automata

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅