基于NuSMV的AADL模型形式化验证技术

Translated title of the contribution: Formal verification technology for AADL models based on NuSMV

Chang Liu, Yongping Jiang, Chunyan Ma, Tao Zhang

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

Fingerprint

Dive into the research topics of 'Formal verification technology for AADL models based on NuSMV'. Together they form a unique fingerprint.

Computer Science