Research on Formal Verification Method of Embedded Software Requirements Analysis Document

臺灣期刊 法律公行政治醫事相關財經社會學教育其他

大陸期刊 核心重要期刊

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 (Yingjie Wang)、Kuanjiu Zhou (Kuanjiu Zhou)、Xudong Zhang (Xudong Zhang)、Bin Li (Bin Li)、Zhui Sun (Zhui Sun)、Mingchu Li (Mingchu Li)、Jie Pan (Jie Pan)
起訖頁	209-228
關鍵詞	formal verification、linear temporal logic (LTL)、requirements analysis document、state transition matrix (STM)
刊名	電腦學刊
期數	202012 (31:6期)
該期刊-上一篇	Tag-based Matrix Factorization Recommendation Based on Topic Detection Technology
該期刊-下一篇	A Novel CSW Method for Data Envelopment Analysis Based on DM’s Preference Information