antlr4-runtime-4.7-javadoc.jar
ANTLR4.7运行环境库的doc,对应于antlr-4.7-complete.jar
antlr-4.7-complete.jar
antlr-4.7-complete.jar运行环境库(java版)
MinGW-w64-install.exe
MinGW-W64主要包含编译器部分,如GCC
AspectC++ 转换源码运行脚本
自行整理了一个运行AspectC++转换源码运行的shell脚本代码,只需修改aspectC++工具路径和第三方头文件路径;然后把该脚本放在工程源文件目录中运行即可。
AspectC++运行脚本
自行整理了一个运行AspectC++转换源码运行的shell脚本代码,只需修改aspectC++工具路径和第三方头文件路径;然后把该脚本放在工程源文件目录中运行即可。
EN 50159-2010版
Railway applications — Communication, signalling and processing systems — Safety-related communication in transmission systems.
EN50159- Part2
railway applications-communication, signaling and processing systems-part2:Safety related communication in open transmission systems.
EN50159- Part1
EN50159 Railway applications-communication, signaling and processing systems-Part1: Safety–related communication in closed transmission systems
欧洲开发网络完全通信标准
CPNTools 软件
CPN Tools 是集 编辑、设计与仿真以及分析 于一身的有色Petri Net(CPN)工具,即Colored Petri nets。 此4.0.1是当前最新版,有着很好的GUI,易于使用。
CPN Tools不仅支持基础着色Petri网建立模型,也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言,颜色集,时间,层次化建模等。同时,CPN Tools提供丰富的模型分析工具,如监视器,状态空间分析等,增强了它的模型分析能力和模型验证(MC)的能力。