NASA Formal Methods

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book NASA Formal Methods by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319406480
Publisher: Springer International Publishing Publication: June 3, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319406480
Publisher: Springer International Publishing
Publication: June 3, 2016
Imprint: Springer
Language: English

This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.
The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.
The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification. 

More books from Springer International Publishing

Cover of the book Critical Heat Flux in Flow Boiling in Microchannels by
Cover of the book Inventory Control by
Cover of the book The Neurobiological Basis of Memory by
Cover of the book Leader Development Deconstructed by
Cover of the book Quantum Mechanics for Pedestrians 2 by
Cover of the book Bioequivalence Requirements in Various Global Jurisdictions by
Cover of the book Innovations in Smart Cities Applications Edition 2 by
Cover of the book Smart Modeling for Engineering Systems by
Cover of the book Graphene-Based Polymer Nanocomposites in Electronics by
Cover of the book Semantics of Complex Words by
Cover of the book Prevention of Late-Life Depression by
Cover of the book Kenneth Warren and the Great Neglected Diseases of Mankind Programme by
Cover of the book Clinical and Basic Immunodermatology by
Cover of the book Global Surgery by
Cover of the book Potential-Based Analysis of Social, Communication, and Distributed Networks by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy