Author:
Son Han Seong,Koo Seo Ryong
Reference23 articles.
1. Leveson NG (1990) Guest Editor's Introduction: Formal Methods in Software Engineering. IEEE Transactions in Software Engineering, Vol. 16, No. 9
2. Wing JM (1990) A Specifier’s Introduction to Formal Methods. Computer, Vol. 23, No. 9
3. Rushby J (1993) Formal Methods and the Certification of Critical Systems. Technical Report CSL-93-7, SRI International, Menlo Park, CA
4. Storey N (1996) Safety-Critical Computer Systems. Addison–Wesley.
5. Proceedings of the Seventh Knowledge-Based Software Engineering Conference, McLean, VA, September 20–23, 1992
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献