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

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

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

Pre One:Compromising location privacies for vehicles cloud computing

Next One:Modelling and verification of protocol design for cyber physical systems