Norio Shiratori

• Formal description techniques and protocol specification, testing and verification
• Protocol Test Systems