| |||||||||||||||
| |||||||||||||||
|
|
||||||||||||||
| |||||||||||||||||||||||||||||||
|
>> It is the theory that decides what can be observed. - Albert Einstein |
 [返回] 计算机科学论坛 →
计算机理论与工程 → 『 理论计算机科学 』 → UML模型验证技术交流（model checking）
|
◇查看新帖 ◇ 用户列表 ◇ |
  (订阅本版)
|
您是本帖的第 11246 个阅读者
 
|
|
||||||
  等级：大一新生 文章：5 积分：72 门派：XML.ORG.CN 注册：2006/8/4
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
 2006/8/4 11:16:00 | |||||||||
 等级：大一新生 文章：1 积分：65 门派：XML.ORG.CN 注册：2005/10/19
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2006/10/1 14:17:00 | |||||||||
等级：大一新生 文章：0 积分：55 门派：XML.ORG.CN 注册：2007/8/28
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2007/8/28 23:18:00 | |||||||||
等级：大一新生 文章：1 积分：54 门派：XML.ORG.CN 注册：2008/12/26
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2008/12/26 14:19:00 | |||||||||
 等级：大一新生 文章：1 积分：50 门派：无门无派 院校：未填写 注册：2007-01-01 |
| ||||||||
| 2024/4/28 16:22:33 | |||||||||
| 本主题贴数4，分页： [1] |
| 管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
78.125ms |
新浪微博
UML模型验证技术交流（model checking）
