我想问关于 spin 软件的问题和 promela 语言,不知道在哪发帖,就在这发了 - C语言论坛

编程论坛 → 开发语言 → 『 C语言论坛』 → 我想问关于 spin 软件的问题和 promela 语言,不知道在哪发帖,就在这发了

欢迎加入我们，一同切磋技术

共有 461 人关注过本帖

标题：我想问关于 spin 软件的问题和 promela 语言,不知道在哪发帖,就在这发了

取消只看楼主加入收藏

岑吼吼

等　级：新手上路
帖　子：23
专家分：0
注　册：2014-5-10
结帖率：75%

已结贴√ 问题点数：20 回复次数：0

我想问关于 spin 软件的问题和 promela 语言,不知道在哪发帖,就在这发了

spin安装成后,在Xspin环境下进行协议模拟,代码没有错误,但是不能出现时序图,想问问这是为什么???

搜索更多相关主题的帖子: 软件　

2014-05-30 16:47

快速回复：我想问关于 spin 软件的问题和 promela 语言,不知道在哪发帖,就在这发 ...