[IEEE 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) - Shanghai, China (2009.11.16-2009.11.18)] 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing - Using the NuSMV Model Checker for Test Generation from Statecharts
Kadono, Masaya, Tsuchiya, Tatsuhiro, Kikuno, TohruYear:
2009
Language:
english
DOI:
10.1109/PRDC.2009.15
File:
PDF, 188 KB
english, 2009