Opening book details…
Can I read NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings on EtoBox?
NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings by Petr Ročkai, Jiří Barnat, Luboš Brim (auth.), Guillaume Brat, Neha Rungta, Arnaud Venet (eds.) is a computer science book available to read on EtoBox.
What is NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings about?
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and stati
Who reads NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Petr Ročkai, Jiří Barnat, Luboš Brim (auth.), Guillaume Brat, Neha Rungta, Arnaud Venet (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2013
- Language
- EN
- ISBN
- 9783642380877
- Category
- computer science
- Subjects
- Engineering, Programming, Computer Science
- Updated
- 2026-03-25
More by Petr Ročkai, Jiří Barnat, Luboš Brim (auth.), Guillaume Brat, Neha Rungta, Arnaud Venet (eds.)
Similar books
- NASA formal methods : 14th international symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings — Jyotirmoy V. Deshmukh; Klaus Havelund; Ivan Perez (2022)
- NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings — Kristin Yvonne Rozier, Swarat Chaudhuri, Julia M. Badger (2023)
- Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers — Philipp Rümmer, Hossein Hojjat (auth.), Ernie Cohen, Andrey Rybalchenko (2014)
- Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings — J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (2007)
- Bioinformatics Research and Applications: 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013, Proceedings (Lecture Notes in Computer Science, 7875) — Bin Ma (auth.), Zhipeng Cai, Oliver Eulenstein, Daniel Janies, Daniel Schwartz (2013)
- Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Lecture Notes in Computer Science (8195)) — Christiano Braga, Cássio Santos (auth.), Juliano Iyoda, Leonardo de Moura (2013)
