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 Selberg Zeta Functions and Transfer Operators by
Cover of the book Sustainable Rail Transport by
Cover of the book Computer and Information Science by
Cover of the book Internet and Distributed Computing Systems by
Cover of the book Renewable Energies by
Cover of the book Myocardial Perfusion Imaging - Beyond the Left Ventricle by
Cover of the book Smart Textiles by
Cover of the book Design, User Experience, and Usability: Novel User Experiences by
Cover of the book An Introduction to Modeling Neuronal Dynamics by
Cover of the book Evolution of Silicon Sensor Technology in Particle Physics by
Cover of the book Towards Ultrasound-guided Spinal Fusion Surgery by
Cover of the book Corrosion Problems and Solutions in Oil Refining and Petrochemical Industry by
Cover of the book E-Commerce and Web Technologies by
Cover of the book The Outpatient Breast Clinic by
Cover of the book Energy Security in Europe 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