Formal Description Techniques Supporting for Development of Communication Software System

• 通信软件系统开发中的形式化描述技术