大连理工大学主页平台管理系统侯刚 Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking Home

Home > Scientific Research > Paper Publications

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

Release Time:2022-10-07 Hits:

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

Prev One:Network Model Construction and Cascading Effect Analysis for Software Systems

Next One:Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN

Home

Scientific Research

Teaching Research

Awards and Honours

Enrollment Information

Student Information

My Album

Blog

Recommended MA Supervisor

Personal Information

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