篇名 |
Research on Formal Verification Method of Embedded Software Requirements Analysis Document
|
---|---|
並列篇名 | Research on Formal Verification Method of Embedded Software Requirements Analysis Document |
作者 | Yingjie Wang、Kuanjiu Zhou、Xudong Zhang、Bin Li、Zhui Sun、Mingchu Li、Jie Pan |
起訖頁 | 209-228 |
關鍵詞 | formal verification、linear temporal logic (LTL)、requirements analysis document、state transition matrix (STM) |
刊名 | 電腦學刊 |
期數 | 202012 (31:6期) |
DOI |
|
QR Code | |
該期刊 上一篇
| Tag-based Matrix Factorization Recommendation Based on Topic Detection Technology |
該期刊 下一篇
| A Novel CSW Method for Data Envelopment Analysis Based on DM’s Preference Information |