The Second NASA Formal Methods Workshop 1992

The Second NASA Formal Methods Workshop 1992
Author :
Publisher :
Total Pages : 248
Release :
ISBN-10 : NASA:31769000472806
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis The Second NASA Formal Methods Workshop 1992 by :

Download or read book The Second NASA Formal Methods Workshop 1992 written by and published by . This book was released on 1992 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:


The Second NASA Formal Methods Workshop 1992 Related Books

The Second NASA Formal Methods Workshop 1992
Language: en
Pages: 248
Authors:
Categories:
Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Lfm2000
Language: en
Pages: 212
Authors:
Categories: Automatic control
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Hardware and Software Architectures for Fault Tolerance
Language: en
Pages: 332
Authors: Michel Banatre
Categories: Computers
Type: BOOK - Published: 1994-02-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Fault tolerance has been an active research area for many years. This volume presents papers from a workshop held in 1993 where a small number of key researcher
NASA Scientific and Technical Publications
Language: en
Pages: 134
Authors:
Categories: Aeronautics
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK