Subject

Subjects : Requirement specifications

  • Articles (2)
  • Patents (0)
  • R&D Reports (0)
논문 검색결과
Type Year Title Cited Download
Journal 2023 Verification Method for Discrete Event Simulation based on Discrete Event System Formalism   장수영  International Journal of Industrial Engineering : Theory Applications and Practice, v.30, no.5, pp.1313-1327 3 원문
Conference 2021 Formal Requirement Specification Method for Quality Assurance of Discrete Event Simulation Software   Jang Sooyoung  Asia Simulation Conference (AsiaSim) 2021, pp.195-200
특허 검색결과
Status Year Patent Name Country Family Pat. KIPRIS
No search results.
연구보고서 검색결과
Type Year Research Project Primary Investigator Download
No search results.