基于时间自动机的嵌入式软件模型可调度性验证

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

基于时间自动机的嵌入式软件模型可调度性验证

白海洋，李静，赵娜

Schedulability validation of embedded
software model based on time automaton

BAI Haiyang,LI Jing,ZHAO Na

计算机工程与科学 . 2013, (3): 121 -127 .