Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking
Release Time:2022-11-02 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