设为首页收藏本站

切换到宽版

学习社区»学习社区 › 电子书下载区 › 软件工程 › 软件模型检测工具

返回列表发新帖

查看: 2045|回复: 2

软件模型检测工具

发表于 2009-1-25 14:18:36 | 显示全部楼层 |阅读模式

软件模型检测工具UPPAAL,免费的！最近在学，和广大学长一起分用，交流
[local]1[/local]

工具, 检测, 模型, 软件

相关帖子

• Agile Java Crafting Code with Test-Driven Development

回复

使用道具举报

开车兜兜风

发表于 2009-1-25 15:11:22 | 显示全部楼层

回复 

使用道具举报

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

??????

回复 

使用道具举报

返回列表发新帖

Archiver|手机版|小黑屋|软晨网（RuanChen.com）

GMT+8, 2024-9-20 15:04

Powered by Discuz! X3.5

Copyright © 2001-2023 Tencent Cloud.

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