首页> 外文会议>Engineering in Medicine and Biology Society, 1990., Proceedings of the Twelfth Annual International Conference of the IEEE >Non Definite Form For Autopoiesis, Illustrating Automata In The Foreward And Backward Time

【24h】

Non Definite Form For Autopoiesis, Illustrating Automata In The Foreward And Backward Time

机译：用于定型的非确定形式，说明向前和向后时间的自动机

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《Engineering in Medicine and Biology Society, 1990., Proceedings of the Twelfth Annual International Conference of the IEEE》|1990年|P.1778-1780|共3页
会议地点
作者
Gunji; Y.; Nakamura; T.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. SetExp: a method of transformation of timed automata into finite state automata [J] . Lucien Ouedraogo, Ahmed Khoumsi, Mustapha Nourelfath Real-time systems . 2010,第2期

机译：SetExp：将定时自动机转换为有限状态自动机的方法
2. Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems [J] . Kai Lampka, Simon Perathoner, Lothar Thiele Design automation for embedded systems . 2010,第3期

机译：解析实时分析和定时自动机：一种用于嵌入式实时系统性能分析的混合方法
3. Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems [J] . Kai Lampka, Simon Perathoner, Lothar Thiele Design Automation for Embedded Systems . 2010,第3期

机译：解析实时分析和定时自动机：一种用于嵌入式实时系统性能分析的混合方法
4. Non Definite Form For Autopoiesis, Illustrating Automata In The Foreward And Backward Time [C] . Gunji Y., Nakamura T., Institute of Electric and Electronic Engineer Annual International Conference of the IEEE Engineering in Medicine and Biology Society . 1990

机译：用于自动涂覆的非明确形式，说明前向和落后时间的自动机
5. Timed safety automata and logic conformance. [D] . Young, Frank Charles Duane. 1999

机译：定时安全自动机和逻辑一致性。
6. Efficient Deterministic Finite Automata Minimization Based on Backward Depth Information [O] . Desheng Liu, Zhiping Huang, Yimeng Zhang, -1

机译：基于后向深度信息的有效确定性有限自动机最小化
7. Backward Symbolic Optimal Reachability in Weighted Timed Automata [O] . Rémi Parrot, Didier Lime 2020

机译：加权定时自动机中的向后符号最优可达性
8. Ultimate-Definite and Symmetric-Definite Events and Automata [R] . Paz, A., Peleg, B. 1965

机译：终极定义和对称定义事件和自动机

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号