Takanori Ishibashi

According to our database, Takanori Ishibashi authored at least 2 papers in 2023.

Collaborative distances:

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

2023

Formal Specification and Model Checking of Raft Leader Election in Maude.

Takanori Ishibashi, Kazuhiro Ogata

Proceedings of the 12th International Conference on Software and Computer Applications, 2023

Formal Specification and Model Checking of Raft Log Replication in Maude.

Takanori Ishibashi, Kazuhiro Ogata

Proceedings of the 29th International DMS Conference on Visualization and Visual Languages, 2023