.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
NASA Formal Methods
. Ed(S): Badger, Julia M.; Rozier, Kristin Yvonne
€ 67.51
FREE Delivery in Ireland
Description for NASA Formal Methods
Paperback. Editor(s): Badger, Julia M.; Rozier, Kristin Yvonne. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 386 pages, 114 black & white illustrations, biography. BIC Classification: UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 593.
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use ... Read more
This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 – May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
386
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
360
Place of Publication
Cham, Switzerland
ISBN
9783319061993
SKU
V9783319061993
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for NASA Formal Methods