Author Login Editor-in-Chief Peer Review Editor Work Office Work
Schedule Analysis Tool for Embedded System Based on Timed Automata
XU Miao, LI Yuan, GUI Cheng-Lin, LUO Lei
Computer Engineering . 2012, (3): 290 -292 .  DOI: 10.3969/j.issn.1000-3428.2012.03.095