|
网站首页
|
业界新闻
|
小组
|
威客
|
人才
|
下载频道
|
博客
|
代码贴
|
在线编程
|
编程论坛
|
登录
注册
短消息
我发表的主题
我参与的主题
我收藏的贴子
我上传的附件
我下过的附件
编辑个人资料
我的博客
用户控制面板
搜索
道具
恢复默认风格
碧海青天
秋意盎然
棕红预览
粉色回忆
蓝雅绿
紫色淡雅
青青河草
e点小镇
橘子红了
红红夜思
水晶紫色
雪花飘飘
新年快乐
风格
短消息
论坛展区
帮助
编程论坛
→
开发语言
→
『 C语言论坛 』
→ 我想问关于 spin 软件的问题和 promela 语言,不知道在哪发帖,就在这发了
我的收件箱(0)
欢迎加入我们,一同切磋技术
用户名:
密 码:
共有
461
人关注过本帖
标题:
我想问关于 spin 软件的问题和 promela 语言,不知道在哪发帖,就在这发了
只看楼主
加入收藏
岑吼吼
等 级:
新手上路
帖 子:23
专家分:0
注 册:2014-5-10
结帖率:
75%
楼主
收藏
已结贴
√
问题点数:20 回复次数:1
我想问关于 spin 软件的问题和 promela 语言,不知道在哪发帖,就在这发了
spin安装成后,在Xspin环境下进行协议模拟,代码没有错误,但是不能出现时序图,想问问这是为什么???
搜索更多相关主题的帖子:
软件
2014-05-30 16:47
举报帖子
使用道具
赠送鲜花
砖家的谎言
等 级:
禁止访问
威 望:
30
帖 子:693
专家分:3898
注 册:2013-12-6
第
2
楼
收藏
得分:20
不熟悉,你到其他论坛也看看吧
我不是砖家,要努力成为砖家。
2014-05-30 17:07
举报帖子
使用道具
赠送鲜花
2
1/1页
1
快速回复:
我想问关于 spin 软件的问题和 promela 语言,不知道在哪发帖,就在这发 ...
数据加载中...
关于我们
|
广告合作
|
编程中国
|
清除Cookies
|
TOP
|
手机版
编程中国
版权所有,并保留所有权利。
Powered by
Discuz
, Processed in 0.015198 second(s), 7 queries.
Copyright©2004-2024, BCCN.NET, All Rights Reserved