Research on Formal Verification Method of Embedded Software Requirements Analysis Document

熱門：朱丽彬黃光男王美玲王善边曾瓊瑤崔雪娟

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

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


篇名	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

教師服務合作出版期刊徵稿聯絡高教高教FB	讀者服務圖書目錄教育期刊訂購服務活動訊息	數位服務高等教育知識庫國際資料庫收錄投審稿系統 DOI註冊	線上購買高點網路書店元照網路書店博客來網路書店	教育資源教育網站國際教育網站	關於高教高教簡介出版授權合作單位
知識達	知識達	知識達	知識達	知識達	知識達