Formal methods(resource 1)-bilbo0214-ChinaUnix博客

Chinaunix首页 | 论坛 | 博客

首页　| 　博文目录　| 　关于我

博客访问： 1658687
博文数量： 230
博客积分： 10045
博客等级：上将
技术积分： 3357
用户组：普通用户
注册时间： 2006-12-30 20:40

文章分类

全部博文（230）

Plotting（4）
Literate Progra（2）
Ada（3）
行业窥探（2）

核电行业（0）

风电行业（1）

铁路行业（1）
Formal methods（7）
Networking（7）
Caml（12）
读书时间（16）
FieldBus（6）
GSM/GSM-R（4）
Good Resource（8）
Visual Language（0）
Software Enginee（13）
Compiler Enginee（2）
Safety System（34）
Tcl & Expect（1）
AutoHotKey（3）
其他编程语言（11）
C/C++（24）
胡言乱语（40）
技术幽默（2）
Hardware Desing（13）
Embedded System（4）
Perl（10）
Unix_Linux（0）
关注社会（2）
未分配的博文（0）

文章存档

2011年（7）

2010年（35）

2009年（62）

2008年（126）

我的朋友

最近访客

推荐博文

相关博文

Formal methods(resource 1)

分类：项目管理

2008-09-17 19:37:00

Concurrency Workbench
Formal methods' pages:

A large collection of is available on-line from UK.
Another on-line , from Denmark
This is a collection of of various formal method tools.

阅读(1363) | 评论(0) | 转发(0) |

0

上一篇：(转)A introduction to SmartCard

下一篇：two good tutorials on compiler construction

给主人留下些什么吧！~~

关于我们 | 关于IT168 | 联系方式 | 广告合作 | 法律声明 | 免费注册

Copyright 2001-2010 ChinaUnix.net All Rights Reserved 北京皓辰网域网络信息技术有限公司. 版权所有

感谢所有关心和支持过ChinaUnix的朋友们