Masaya Kadono

According to our database, Masaya Kadono authored at least 1 paper in 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Using the NuSMV Model Checker for Test Generation from Statecharts.

Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009