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

Paper Info

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

Year	Venue	Keywords
2013	GCCE	formal verification
Field	DocType	Citations
Elevator system,Spin-½,Model checking,Simulation,Computer science,Control engineering,Elevator,Formal methods,Group controller,Formal verification	Conference	2
PageRank	References	Authors
0.54	0	2

Authors (2 rows)

Cited by (2 rows)

References (0 rows)

Name	Order	Citations	PageRank
shingo	1	64	31.04
Nagafuji, K.	2	2	0.87

1