Research on Formal Verification Method of Embedded Software Requirements Analysis Document

臺灣期刊 學校系所學協會民間出版

大陸/海外期刊 政府機關學校系所學協會民間出版

DOI查詢服務 DOI註冊服務


篇名	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	10.3966/199115992020123106017 複製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