• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊
Schedulability validation of embedded
software model based on time automaton   
BAI Haiyang,LI Jing,ZHAO Na
Computer Engineering & Science . 2013, (3): 121 -127 .