Doctoral Degree

大连理工大学

Personal Information

Gender:Male
Business Address:综合楼423
E-Mail:hougang@dlut.edu.cn

VIEW MORE
Home > Scientific Research > Paper Publications

Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking

Date of Publication:2022-10-07 Hits:

Date of Publication:2022-10-07
Journal:2019 IEEE 25TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS)
Affiliation of Author(s):软件学院
Page Number:844-851
ISSN No.:1521-9097