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

• Formal Description Techniques Supporting for Development of Communication Software System