연구실 소식 썸네일형 리스트형 상태 머신 생성 연구 조사 및 향후 연구 방향 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 ··· 17 18 19 20 21 22 23 ··· 28 다음