Ryo Kurozumi
According to our database1,
Ryo Kurozumi
authored at least 3 papers
between 2019 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens.
J. Robotics Netw. Artif. Life, 2021
2020
Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens.
J. Robotics Netw. Artif. Life, 2020
2019
State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing.
Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019