Doctoral Degree

大连理工大学

Recommended MA Supervisor

Personal Information

Gender:Male
Business Address:综合楼423
E-Mail:

VIEW MORE
Home > Scientific Research > Paper Publications

基于时间Petri网的嵌入式系统中断建模与验证

Release Time:2022-07-03 Hits:

Indexed by: Journal Article
Date of Publication: 2022-06-28
Journal: 计算机科学
Institution: 软件学院
Issue: 9
Page Number: 205-209,219
ISSN: 1002-137X
Note: 新增回溯数据

Prev One:基于时延STM的软件形化建模与验证方法

Next One:基于时间STM的软件形式化建模与验证方法?

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click:  | The Last Update Time:..  | Open Time:..  | DALIAN UNIVERSITY OF TECHNOLOGY | Login