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 Learning Representation for Multi-View Data Analysis by
Cover of the book The Teaching Profession by
Cover of the book Preparing for the Next Cyber Revolution by
Cover of the book Literary Studies Deconstructed by
Cover of the book Endovascular Aortic Repair by
Cover of the book Ethnic Mobilization, Violence, and the Politics of Affect by
Cover of the book Sustainable Agriculture Reviews by
Cover of the book Explaining White-Collar Crime by
Cover of the book Toward Post Ageing by
Cover of the book Information and Control in Networks by
Cover of the book The Psychology of Emotions and Humour in Buddhism by
Cover of the book Resistance to Molecular Therapies for Hepatocellular Carcinoma by
Cover of the book Nutrition Guide for Physicians and Related Healthcare Professionals by
Cover of the book Physics of Tsunamis by
Cover of the book Men's Health in Primary Care 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