Skip to main content
PBS logo
 
 

Search - Formal Methods in Systems Engineering

Formal Methods in Systems Engineering
Formal Methods in Systems Engineering
Author: Peter Ryan
As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acc...  more »
ISBN-13: 9780387197517
ISBN-10: 0387197516
Pages: 195
Rating:
  ?

0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: