on reliable software

Subject: on reliable software
From: Michael Bukatin (bukatin@cs.brandeis.edu)
Date: Mon Dec 11 2000 - 18:34:20 EST

New Message
• Reply
• Next message: Shriram Krishnamurthi: "second NEPLS meet"
• Previous message: Shriram Krishnamurthi: "meeting follow-up"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

A new consortium for mission-critical software
(CMU, NASA, 12 major IT companies --- possible
source of funding):

http://www.cnn.com/2000/TECH/computing/12/08/software.research.idg/index.html

• Next message: Shriram Krishnamurthi: "second NEPLS meet"
• Previous message: Shriram Krishnamurthi: "meeting follow-up"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Dec 11 2000 - 18:34:38 EST