找回密码
 注册
搜索
热搜: java php web
查看: 2050|回复: 2

软件模型检测工具

[复制链接]
发表于 2009-1-25 14:18:36 | 显示全部楼层 |阅读模式
软件模型检测工具UPPAAL,免费的!最近在学,和广大学长一起分用,交流
[local]1[/local]
发表于 2009-1-25 15:11:22 | 显示全部楼层
回复

使用道具 举报

发表于 2009-1-25 15:04:36 | 显示全部楼层
??????
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|软晨网(RuanChen.com)

GMT+8, 2024-11-22 18:30

Powered by Discuz! X3.5

Copyright © 2001-2023 Tencent Cloud.

快速回复 返回顶部 返回列表