Publication Type
International Conference
Contribution Type
Paper
Authors
Changbeom Choi, Jang Won Bae, Tag Gon Kim, Jaeick Kim, Woong Gie Han, & Cheol Ho Kim.
Year
2011
Venue
Citation
pp. 123–128
Keywords
Verification, System Morphism, Simulation Validation, Methodology