Ryoichi Ishigami

According to our database, Ryoichi Ishigami authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications.

Ryoichi Ishigami, Sho Matsumoto, Tomohiko Takagi

Proceedings of the 29th IEEE Pacific Rim International Symposium on Dependable Computing, 2024