Formal Modeling and Verification for MVB

史龍安（2003）。Extending Formal Method SpecTRM-RL for Safety Verification〔碩士論文，元智大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0009-0112200611344122
鍾權政（2022）。Combining YOLO Model and FRB Method for Product Surface Defect Detection〔碩士論文，國立臺中科技大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0061-2709202221170000
邱紹豐、馮晉昜、徐尉庭（2021）。Predicting Missing Values Using Multiple Models。科學與工程技術期刊，17(1)，31-40。https://www.airitilibrary.com/Article/Detail?DocID=18166563-202103-202104060014-202104060014-31-40
蔡修雅（2010）。Evaluation of multi-level language modeling〔碩士論文，崑山科技大學〕。華藝線上圖書館。https://doi.org/10.6828/KSU.2010.00089
Wu, R. S. (2005). Automatic Construction of Formal Models for Embedded Systems [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU.2005.00324