ETRI-Knowledge Sharing Plaform

ENGLISH

성과물

논문 검색
구분 SCI
연도 ~ 키워드

상세정보

학술대회 Formal Requirement Specification Method for Quality Assurance of Discrete Event Simulation Software
Cited - time in scopus Download 5 time Share share facebook twitter linkedin kakaostory
저자
장수영, 최창범
발행일
202112
출처
Asia Simulation Conference (AsiaSim) 2021, pp.195-200
협약과제
21ZR1100, 자율적으로 연결·제어·진화하는 초연결 지능화 기술 연구, 박준희
KSP 제안 키워드
Discrete Event(DE), Simulation software, discrete event simulation(DES), quality assurance, requirement specification