Formal methods and software reliability

被引：0
|
作者：
Holzmann, GJ [1 ]
机构：
[1] CALTECH, JPL Lab Reliable Software, Pasadena, CA 91006 USA
来源：
SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS | 2004年
关键词：
D O I：
10.1109/MEMCOD.2004.1459838
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this position statement I briefly describe how the software reliability problem has changed over the years, and the primary reasons for the recent creation of the Laboratory for Reliable Software at JPL.
引用
收藏
页码：145 / 146
页数：2
相关论文
共 50 条
12345