국내 최대 기계 및 로봇 연구정보

기술보고서

기술보고서 게시판 내용
타이틀	Fourth NASA Langley Formal Methods Workshop
저자	C. Michael Holloway and Kelly J. Hayhurst, Compilers
Keyword	Formal methods Requirements; Mathematical modeling; Safety; Mathematical logic
URL	http://shemesh.larc.nasa.gov/Lfm97/proceedings/
보고서번호	NASA CP 3356
발행년도	1997
출처	NASA Langley Research Center
ABSTRACT	This publication consists of papers presented at NASA Langley Research Centerchr(39)s fourth workshop on the application of formal methods to the design and verification of life-critical systems. Much of this material and material not available herein is available on the World-Wide Web via the following URL: http://shemesh.larc.nasa.gov/Lfm97/