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

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

Release Time:2020-04-09  Hits:

Indexed by: Conference Paper

Date of Publication: 2019-01-01

Page Number: 844-851

Prev One:A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features

Next One:Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration
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