Atsushi Togashi

• Formal description techniques and protocol specification, testing and verification