Goro Hatayama
According to our database1,
Goro Hatayama
authored at least 4 papers
between 2012 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the Computer Safety, Reliability, and Security, 2017
2015
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
2013
Proceedings of the 4th International Symposium on Information and Communication Technology, 2013
2012
Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012