Ryosei Mori

According to our database, Ryosei Mori authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic.

Ryosei Mori, Naoki Yonezaki

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994