一种面向嵌入式软件体系结构的形式化建模方法
许海洋, 庄毅, 顾晶晶
A Formal Modeling Method for Embedded Software Architecture
XU Hai-yang, ZHUANG Yi, GU Jing-jing
电子学报 . 2014, (8): 1515 -1521 .  DOI: 10.3969/j.issn.0372-2112.2014.08.009