선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 슈어소프트테크(주) |
---|---|
연구책임자 | 윤광식 |
참여연구자 | 한익준 , 이규열 , 최경화 , 유광근 , 송한규 , 최석주 , 주홍진 , 홍길표 , 김정헌 , 권민혁 , 방현배 , 고기훈 , 최명용 , 김진호 , 강규황 , 박인권 , 조길환 , 권오철 , 이시용 , 김명성 , 강주석 , 곽충석 , 이은형 , 한일영 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2014-02 |
주관부처 | 산업통상자원부 Ministry of Trade, Industry and Energy |
등록번호 | TRKO201800001305 |
DB 구축일자 | 2018-12-15 |
IV. 연구개발결과
• 내장형 SW 모델 검증 기술 지원 도구
• 프로그램 의미 분석 기술 지원 도구
• 정적 분석 기술 지원 도구
• 동적 분석 기술 지원 도구(메모리 오류 검출)
( 출처: 요약문 6p )
※ AI-Helper는 부적절한 답변을 할 수 있습니다.