연구실 소식/세미나 썸네일형 리스트형 상태 머신 생성 연구 조사 및 향후 연구 방향 Speaker: 최현재 Subject: 상태 머신 생성 연구 조사 및 향후 연구 방향 Source: J. H. Bae, “A Systematic Approach to Constructing Understandable State Machine,” Ph.D Thesis, Pusan National University, 2014. Dick, Jeremy, and Alain Faivre. "Automating the generation and sequencing of test cases from model-based specifications." FME'93: Industrial-Strength Formal Methods. Springer Berlin Heidelberg, 1993 Bert, Didier, an.. 더보기 이전 1 ··· 14 15 16 17 18 19 20 ··· 23 다음