首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值
热门搜索： 2023 2024 matlab算法 2022 卷积神经网络

您现在的位置是：虫虫源码 > C/C++/VC++ > Promela语言C++翻译，针对OMNeT++仿真框架

Promela语言C++翻译，针对OMNeT++仿真框架

资 源 简 介

Migrated to GitHub PROMNeT++ has migrated to a new location at GitHub. PROMNeT++ At its core, this project consists of a Java-powered tool that parses and translates PROMELA (http://spinroot.com/) code, to C++ code that is intended to be runnable under OMNeT++ (http://www.omnetpp.org/). This project"s original development cycle is associated with University of Coimbra"s Informatics Engineering Department ("Departamento de Engenharia Informática", http://www.uc.pt/fctuc/dei/) and is part of an internship (from Portuguese "estágio") performed in it. The main purpose of this project is tied to research on generating source code from formal models; programmers are encouraged to build on it if they so desire.

文 件 列 表

1-of-n.pml
default-configuration.xml
lib
commons-io-2.4.jar
commons-lang3-3.1.jar
NewOneThirdRule.pml
promnetpp.jar
templates
private
round_based_protocol_generic

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
热门标签
网站首页 | 服务条款 | 隐私协议 | 网站地图 | 免责声明
虫虫源码版权所有 © 2011-2024 苏ICP备2021027574号
本网站资源收集自网络及网站用户上传，若有侵权请邮件至（bugmaweb@163.com），核实后我们会在24小时内删除，谢谢！
0.201993s