参考文献 - ^ . 雙語詞彙、學術名詞暨辭書資訊網. 國家教育研究院. [2020-09-05]. （原始内容存档于2020-10-21）.
- ^ 郭大維. IEEE第四屆國際複雜系統工程研討會. 國立中正大學資訊工程學系. [2013-12-28]. （原始内容于2013-12-30）.
- ^ R. W. Butler. What is Formal Methods?. 2001-08-06 [2006-11-16]. （原始内容于2006-12-08）.
- ^ C. Michael Holloway. (PDF). 16th Digital Avionics Systems Conference (27-30 October 1997). [2006-11-16]. （原始内容 (PDF)存档于2006年11月16日）.
- ^ M. Archer, C. Heitmeyer and E. Riccobene. Proving invariants of I/O automata with TAME. Automated Software Engineering, 9, 201-232 (2002).
形式化方法, 此條目可参照英語維基百科相應條目来扩充, 2019年10月19日, 若您熟悉来源语言和主题, 请协助参考外语维基百科扩充条目, 请勿直接提交机械翻译, 也不要翻译不可靠, 低品质内容, 依版权协议, 译文需在编辑摘要注明来源, 或于讨论页顶部标记, href, template, translated, page, html, title, template, translated, page, translated, page, 标签, 中文也稱形式方法, 正規方法, 在计算机科学和软件工程领域, . 此條目可参照英語維基百科相應條目来扩充 2019年10月19日 若您熟悉来源语言和主题 请协助参考外语维基百科扩充条目 请勿直接提交机械翻译 也不要翻译不可靠 低品质内容 依版权协议 译文需在编辑摘要注明来源 或于讨论页顶部标记 a href Template Translated page html title Template Translated page Translated page a 标签 形式化方法 中文也稱形式方法 1 正規方法 2 在计算机科学和软件工程领域 形式化方法是基于数学的特种技术 适合于软件和硬件系统的描述 开发和验证 3 将形式化方法用于软件和硬件设计 是期望能够像其它工程学科一样 使用适当的数学分析以提高设计的可靠性和強健性 4 但是 由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统 5 参考文献 编辑 formal method 形式方法 雙語詞彙 學術名詞暨辭書資訊網 國家教育研究院 2020 09 05 原始内容存档于2020 10 21 郭大維 IEEE第四屆國際複雜系統工程研討會 國立中正大學資訊工程學系 2013 12 28 原始内容存档于2013 12 30 R W Butler What is Formal Methods 2001 08 06 2006 11 16 原始内容存档于2006 12 08 C Michael Holloway Why Engineers Should Consider Formal Methods PDF 16th Digital Avionics Systems Conference 27 30 October 1997 2006 11 16 原始内容 PDF 存档于2006年11月16日 M Archer C Heitmeyer and E Riccobene Proving invariants of I O automata with TAME Automated Software Engineering 9 201 232 2002 这是一篇與科学相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 形式化方法 amp oldid 72359627, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。