Help ? Review on Formal Methods

Article View: comp.specification

Article #2

Back to comp.specification Previous Next

From: Clemens Zimmermann
Date: Tue, 27 Oct 1992 08:56

23 lines
1156 bytes

Some month ago I took a Draft Copy of Formal Methods from the NEWS.
It is titeled 
  "Formal Methods for Assuring the Dependability of Critical Systems:
   A Review of Methods and Tools "

and dated : November 25, 1991

the authors are : Glenn MacEwen and David Andrews

I would like to have the final of this report but I don't know
the email-adress of the authors .

Can anyone help me ?????


Thank's clemens




| Clemens Zimmermann : Prozeszrechenzentrum : Technical University of Berlin   | 
| clemens@prz.tu-berlin.de                  : Sekr MA073, Str. d. 17. Juni 136 | 
| Phone: +49 30 314 -25787  :   Fax: -21114 : W-1000 Berlin 12                 |

Technical Details

Message-ID: <4172@elwood.prz.tu-berlin.de>

Path:

arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!nigel.msen.com!math.fu-berlin.de!cs.tu-berlin.de!elwood!wilma.prz.tu-berlin.de!clemens

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!nigel.msen.com!math.fu-berlin.de!cs.tu-berlin.de!elwood!wilma.prz.tu-berlin.de!clemens
From: clemens@wilma.prz.tu-berlin.de (Clemens Zimmermann)
Newsgroups: comp.specification
Subject: Help ? Review on Formal Methods
Message-ID: <4172@elwood.prz.tu-berlin.de>
Date: 27 Oct 92 08:56:18 GMT
Sender: news@elwood.prz.tu-berlin.de
Organization: TU-Berlin TUBKOM, Germany
Lines: 23