Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1. Bowen, J.P., Formal Specification and

行为树

Address), SEFM-2003, IEEE International Conference on Software Engineering and Formal Methods, Brisbane, Sept. 2003, pp. 2-11. Wen, L., Dromey, R.G. 2007.

Polyspace

Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design. 2004 [2010-08-13]. [永久失效連結] Exponent. Exponent's Investigation

自我搜尋

search engine transaction logs. Information Processing & Management. Formal Methods for Information Retrieval. 2006-01-01, 42 (1): 248–263 [2021-04-02]

Found in articles

形式化方法

What is Formal Methods?. 2001-08-06 [2006-11-16]. （原始内容存档于2006-12-08）. C. Michael Holloway. Why Engineers Should Consider Formal Methods (PDF). 16th

乔纳森·鲍文

Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1. Bowen, J.P., Formal Specification and

行为树

Address), SEFM-2003, IEEE International Conference on Software Engineering and Formal Methods, Brisbane, Sept. 2003, pp. 2-11. Wen, L., Dromey, R.G. 2007.

Polyspace

Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design. 2004 [2010-08-13]. [永久失效連結] Exponent. Exponent's Investigation

自我搜尋

search engine transaction logs. Information Processing & Management. Formal Methods for Information Retrieval. 2006-01-01, 42 (1): 248–263 [2021-04-02]