Daichi Mizuguchi

According to our database, Daichi Mizuguchi authored at least 3 papers between 2012 and 2014.

Collaborative distances:

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

2014

Describing Software Specification by Combining SysML with the B Method.

Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2012

RT-component based integration for IEC61508 ready system using SysML and IEC61499 function blocks.

Ryo Hanai, Hajime Saito, Yoshihiro Nakabo, Kiyoshi Fujiwara, Takuya Ogure, Daichi Mizuguchi, Keiko Homma, Kohtaro Ohba

Proceedings of the IEEE/SICE International Symposium on System Integration, 2012

Proposal of architecture and implementation process for IEC61508 compliant, dependable robot systems.

Ryo Hanai, Hajime Saito, Yoshihiro Nakabo, Kiyoshi Fujiwara, Takuya Ogure, Daichi Mizuguchi, Keiko Homma, Kohtaro Ohba

Proceedings of the 2012 IEEE International Conference on Robotics and Biomimetics, 2012