Constructing Behavioral State Machine using Interface Protocol Specification.

Osamu Shigo, Atsushi Okawa, Daiki Kato

Browse the full APSEC paper archive.