Fingerprint
Dive into the research topics of 'PROMELA based formal verification for safety-critical software'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Liang Xing, Chengjun Ding, Hupeng Du, Chunyan Ma
Research output: Contribution to journal › Article › peer-review