Current position: Home >> Scientific Research >> Paper Publications

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

Release Time:2022-07-10  Hits:

Indexed by: Conference Paper

Date of Publication: 2022-06-28

Journal: 第七届信息安全漏洞分析与风险评估大会

Institution: 软件学院

Page Number: 156-165

Note: 新增回溯数据

Prev One:基于分布式无线网络安全的正则表达式匹配方法

Next One:基于时间STM的软件形式化建模与验证方法?
Recommended Ph.D.Supervisor Recommended MA Supervisor Institutional Repository Personal Page

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

Click:Times MOBILE Version
The Founding Time : ..
The Last Update Time : ..

Mobile phone sweep