two lectures on safety and reliable system-bilbo0214-ChinaUnix博客

Chinaunix首页 | 论坛 | 博客

首页　| 　博文目录　| 　关于我

博客访问： 1686045
博文数量： 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）

我的朋友

最近访客

推荐博文

two lectures on safety and reliable system

分类：

2009-02-04 22:22:35

文件:	safety.rar
大小:	1986KB
下载:	下载

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

0

上一篇：2009年1月读书

下一篇：2009年3月读书

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

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

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

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