Ichiro Hosotani

A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software

Akira Fukuda, Masahiko Watanabe, Michihiro Matsumoto, 2007, Seventh International Conference on Quality Software (QSIC 2007).

Design Tool and Software Platform for Time-Triggered Network Systems

Hiroaki Takada, Hiroshi Hashimoto, Koji Sato, 2006 .

Validation of Control Software Specification Using Design Interests Extraction and Model Checking

Masakazu Adachi, Tomoyuki Kaga, Ichiro Hosotani, 2012 .