Author Info
Name
Affiliation
Papers
NAGAFUJI, K.
Grad. Sch. of Sci. & Eng., Yamaguchi Univ., Ube, Japan|c|
2
Collaborators
Citations 
PageRank 
2
2
0.87
Referers 
Referees 
References 
4
6
3
Title
Citations
PageRank
Year
Éclair: An elevator group controller model checking system based on S-ring and SPIN00.342014
A formal method of developing elevator group controllers based on S-ring and SPIN20.542013