NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
2018
QA76.9.F67
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
Meeting Name
ISBN
9783319779355 (electronic book)
3319779354 (electronic book)
9783319779348
3319779354 (electronic book)
9783319779348
Published
Cham : Springer, 2018.
Language
English
Description
1 online resource (xi, 470 pages) : illustrations.
Item Number
10.1007/978-3-319-77935-5 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Summary
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 11, 2018).
Added Author
Series
Lecture notes in computer science ; 10811. 0302-9743
Lecture notes in computer science. Formal methods.
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science. Formal methods.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in