基于时间自动机的嵌入式系统调度分析工具

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于时间自动机的嵌入式系统调度分析工具

于淼, 李允, 桂盛霖, 罗蕾

Schedule Analysis Tool for Embedded System Based on Timed Automata

XU Miao, LI Yuan, GUI Cheng-Lin, LUO Lei

计算机工程 . 2012, (3): 290 -292 . DOI: 10.3969/j.issn.1000-3428.2012.03.095