首页> 外文期刊>International Journal of Software Engineering & Applications (IJSEA) >Time-Abstracting Bisimulation for Markovian Timed Automata

【24h】

Time-Abstracting Bisimulation for Markovian Timed Automata

机译：马尔可夫定时自动机的时间抽象双仿真

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《International Journal of Software Engineering & Applications (IJSEA)》 |2016年第4期|共页
作者
MohammadSadegh Mohagheghi; Hojjat Sharifi;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类软件工程;
关键词

相似文献

外文文献
中文文献
专利

1. Analysis of Timed Systems Using Time-Abstracting Bisimulations [J] . STAVROS TRIPAKIS, SERGIO YOVINE Formal Methods in System Design . 2001,第1期

机译：使用时间抽象双仿真对定时系统进行分析
2. Weak bisimulation for Probabilistic Timed Automata [J] . Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina Theoretical computer science . 2010,第50期

机译：概率定时自动机的弱双仿真
3. Bisimulation equivalence and regularity for real-time one-counter automata [J] . Stanislav Boehm, Stefan Goeller, Petr Jancar Journal of computer and system sciences . 2014,第4期

机译：实时一计数器自动机的双仿真等价性和规律性
4. Time-abstracting Bisimulation for Probabilistic Timed Automata [C] . Taolue Chen, Tingting Han, Joost-Pieter Katoen 第二届IFIP/IEEE软件工程理论基础国际研讨会（TASE 2008）（Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering） . 2008

机译：概率定时自动机的耗时双仿真
5. Modeling timing faults using timed extended finite state machines and extended timed automata. [D] . Wang, Yu. 2009

机译：使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
6. Using Matrix-Product States for Open Quantum Many-Body Systems: Efficient Algorithms for Markovian and Non-Markovian Time-Evolution [O] . Regina Finsterhölzl, Manuel Katzer, Andreas Knorr, 2020

机译：使用Matrix-Master状态用于开放量子的多体系统：Markovian和非马尔可维亚时演变的有效算法
7. TIME-ABSTRACTING BISIMULATION FOR MARKOVIAN TIMED AUTOMATA [O] . MohammadSadegh Mohagheghi1, Hojjat Sharifi2 2016

机译：马尔可夫定时自动机的时间抽象双重模拟
8. Branching Time and Orthogonal Bisimulation Equivalence. [R] . Bergstra, J. A., Ponse, A., van der Zwang, M. B. 2000

机译：分枝时间与正交双模拟等价。

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号