首页> 外文会议>Real-Time Systems Symposium, 1996., 17th IEEE >Reducing the number of clock variables of timed automata

【24h】

Reducing the number of clock variables of timed automata

机译：减少定时自动机的时钟变量数量

获取原文

获取外文期刊封面目录资料

页面导航

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

著录项

来源
《Real-Time Systems Symposium, 1996., 17th IEEE》|1996年|P.73-81|共9页
会议地点
作者
Daws C.; Yovine S.;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. Event-clock automata: a determinizable class of timed automata [J] . Rajeev Alur, Limor Fix, Limor Fix Theoretical computer science . 1999,第1a2期

机译：事件时钟自动机：定时自动机的可确定类
2. Interrupt Timed Automata with Auxiliary Clocks and Parameters [J] . Berard Beatrice, Haddad Serge, Jovanovic Aleksandra, Fundamenta Informaticae . 2016,第3a4期

机译：具有辅助时钟和参数的中断定时自动机
3. Distributed Timed Automata with Independently Evolving Clocks [J] . S.Akshay, Benedikt Bollig, Paul Gastin, Fundamenta Informaticae . 2014,第4期

机译：具有独立演化时钟的分布式定时自动机
4. Reducing the number of clock variables of timed automata [C] . Daws C., Yovine S., Institute of Electric and Electronic Engineer IEEE Real-Time Systems Symposium . 1996

机译：减少定时自动机的时钟变量的数量
5. Complexity Theoretic Parallels Among Automata, Formal Languages and Real Variables Including Multi-Patterns, L-Systems and Cellular Automata. [D] . Xie, Jingnan. 2017

机译：自动机，形式语言和实变量（包括多模式，L系统和元胞自动机）之间的复杂性理论并行。
6. The clockwork universe. German clocks and automata 1550–1650 [O] . Christopher Lawrence 1982

机译：发条宇宙。德国钟表和自动机1550–1650
7. Reducing the Number of Clock Variables of Timed Automata [O] . C. Daws, S. Yovine 1996

机译：减少定时自动机的时钟变量数量

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号