Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
NASA Formal Methods
- 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Engelsk
Bogcover for NASA Formal Methods af , 9783030206512
Specifikationer
Sprog:
Engelsk
Sider:
392
ISBN-13:
9783030206512
Indbinding:
Paperback
ISBN-10:
3030206513
Udg. Dato:
28 maj 2019
Størrelse i cm:
23,5 x 15,5
Serie:
Lecture Notes in Computer Science
Oplagsdato:
28 maj 2019

NASA Formal Methods

- 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Engelsk
Paperback 2019
Format:

Bog beskrivelse

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.

The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.

... Vis mere

Hos Booktok
570 kr
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
392
ISBN-13:
9783030206512
Indbinding:
Paperback
ISBN-10:
3030206513
Udg. Dato:
28 maj 2019
Størrelse i cm:
23,5 x 15,5
Serie:
Lecture Notes in Computer Science
Oplagsdato:
28 maj 2019
Finder produkter...
Kategori sammenhænge