Coverart for item
The Resource 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.), (electronic book)

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.), (electronic book)

Label
NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Title
NASA formal methods
Title remainder
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Statement of responsibility
Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.)
Title variation
NFM 2018
Creator
Contributor
Editor
Subject
Genre
Language
eng
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
Member of
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2018
http://bibfra.me/vocab/lite/meetingName
NFM (Symposium)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
  • 1968-
  • 1982-
http://library.link/vocab/relatedWorkOrContributorName
  • Dutle, Aaron Michael
  • Muñoz, César A.
  • Narkawicz, Anthony Joseph
Series statement
  • Lecture notes in computer science,
  • Formal methods
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
10811
http://library.link/vocab/subjectName
Formal methods (Computer science)
Label
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.), (electronic book)
Instantiates
Publication
Note
  • International conference proceedings
  • Includes author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Extent
1 online resource (xi, 470 pages)
Form of item
online
Isbn
9783319779355
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-77935-5
Other physical details
illustrations.
System control number
  • on1030992050
  • (OCoLC)1030992050
Label
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.), (electronic book)
Publication
Note
  • International conference proceedings
  • Includes author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Extent
1 online resource (xi, 470 pages)
Form of item
online
Isbn
9783319779355
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-77935-5
Other physical details
illustrations.
System control number
  • on1030992050
  • (OCoLC)1030992050

Library Locations

Processing Feedback ...