1. 首页
  2. 考试认证
  3. 其它
  4. Formal Definition ToolOpen Source

Formal Definition ToolOpen Source

上传者: 2024-11-05 22:30:18上传 BZ2文件 60.24KB 热度 3次

一种基于Java的命令行分析工具,用于检查数据流是否符合它们应该遵守的正式定义。正式定义本身应符合RFC 2234 Augmented BNF for Syntax Specifications:ABNF或ASN.1。

下载地址
用户评论