Help ? Review on Formal Methods

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Clemens Zimmermann Tue, 27 Oct 1992 08:56

Author: 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                 |

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads