Kazuya Nagafuji

According to our database, Kazuya Nagafuji authored at least 2 papers between 2013 and 2014.

Collaborative distances:

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

2014

Éclair: An elevator group controller model checking system based on S-ring and SPIN.

Kazuya Nagafuji, Shingo Yamaguchi

Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014

2013

A formal method of developing elevator group controllers based on S-ring and SPIN.

Shingo Yamaguchi, Kazuya Nagafuji

Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013