Toru Kato, Manami Shimazu, Masahiro Higuchi, Hiroshi Ohyama. Integrated development environment for the multiple ambient calculus for modeling freight systems. IEEE International Conference on Automation Science and Engineering. 2016. 2016-. 367-372
CTL Model Checking for Hybrid Timed Ambient Calculus. 2017. 10. 5. 2-2
The Dynamic Routing Function for the Freight Management System with the Multiple Ambient Calculus. 2016. 9. 4. 29-29
Miyai Atom, Kato Toru, Higuchi Masahiro. D-3-7 Experiment on the Freight Management System with the Multiple Ambient Calculus. Proceedings of the IEICE General Conference. 2015. 2015. 1. 28-28