Y. Tachi

According to our database, Y. Tachi authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Real-Time Symbolic Model Checking for Hard Real-Time Systems.

Y. Tachi, Satoshi Yamane

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999