NASA Formal Methods
1 Verfügbar 
Kostenloser Versand
Details
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 statistical analysis; and theorem proving.
Fast-track conference proceedings State-of-the-art research Up-to-date results
Inhalt
Model checking.- Applications of formal methods.- Complex systems.- Static analysis.- Symbolic execution.- Requirements and specifications.- Probabilistic and statistical analysis.- Theorem proving.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09783642380877
- Editor Guillaume Brat, Arnaud Venet, Neha Rungta
- Sprache Englisch
- Auflage 2013
- Größe H235mm x B155mm x T28mm
- Jahr 2013
- EAN 9783642380877
- Format Kartonierter Einband
- ISBN 3642380875
- Veröffentlichung 17.04.2013
- Titel NASA Formal Methods
- Untertitel 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
- Gewicht 768g
- Herausgeber Springer Berlin Heidelberg
- Anzahl Seiten 512
- Lesemotiv Verstehen
- Genre Informatik
