实时嵌入式软件时间抽象状态机的扩展

实时嵌入式软件时间抽象状态机的扩展

单锦辉, 张路, 王金波, 张涛

Extending Timed Abstract State Machines for Real-Time Embedded Software

SHAN Jinhui, ZHANG Lu, WANG Jinbo, ZHANG Tao

北京大学学报自然科学版 . 2019, (2): 197 -208 . DOI: 10.13209/j.0479-8023.2019.005