عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
3319779346
3319779354
9783319779348
9783319779355
9783319779348
NASA formal methods :
[Book]
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
Cham :
Springer,
2018.
1 online resource (xi, 470 pages) :
illustrations
Formal methods
Lecture notes in computer science,
LNCS sublibrary. SL 2, Programming and software engineering
10811
0302-9743 ;
Includes author index.
International conference proceedings.
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.
Springer Nature
com.springer.onix.9783319779355
9783319779348
NFM 2018
Formal methods (Computer science), Congresses.
Artificial intelligence.
Computer modelling & simulation.
Computer science.
Computers-- Computer Science.
Computers-- Computer Simulation.
Computers-- Hardware-- Handheld Devices.
Computers-- Intelligence (AI) & Semantics.
Computers-- Programming Languages-- General.
Computers-- Software Development & Engineering-- General.
Formal methods (Computer science)
Programming & scripting languages: general.
Software Engineering.
Systems analysis & design.
COM051230
UMZ
UMZ
004
.
01/51
23
QA76
.
9
.
F67
Dutle, Aaron Michael
Muñoz, César A.,1968-
Narkawicz, Anthony Joseph,1982-
NFM (Symposium)(10th :2018 :, Newport News, Va.)
20200823112731.0
pn
مطالعه متن کتاب [Book]
Y
