嵌入式软件形式化建模方法

嵌入式软件形式化建模方法

潘杰1，渡边政彦2，周宽久1，梁浩然1，崔凯1

Formal modeling approach for embedded software

PAN Jie1, WATANABE Masahiko2, ZHOU Kuanjiu1, LIANG Haoran1, CUI Kai1

计算机工程与应用 . 2018, (8): 61 -71 . DOI: 10.3778/j.issn.1002-8331.1701-0259