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)
DOWNLOAD EBOOK
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

The Second NASA Formal Methods Workshop 1992

Authors:
Categories:
Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Lfm2000
Language: en
Pages: 212

Lfm2000

Authors:
Categories: Automatic control
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Hardware and Software Architectures for Fault Tolerance
Language: en
Pages: 332

Hardware and Software Architectures for Fault Tolerance

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

NASA Scientific and Technical Publications

Authors:
Categories: Aeronautics
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023
Language: en
Pages: 332

PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

Authors: Alexander Nadel
Categories: Computers
Type: BOOK - Published: 2023-10-13 - Publisher: TU Wien Academic Press

DOWNLOAD EBOOK

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and syste