
NASA Formal Methods
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015.The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods. von Havelund, Klaus und Holzmann, Gerard und Joshi, Rajeev
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Hardcover
- 252 Seiten
- Erschienen 2018
- Springer
- Hardcover
- 428 Seiten
- Erschienen 1984
- Friedrick Vieweg & Son
- Hardcover
- 288 Seiten
- Erschienen 2017
- ISTE Ltd and John Wiley & S...
- hardcover
- 666 Seiten
- Erschienen 2005
- Wiley-VCH
- perfect -
- Erschienen 2008
- Schroff Development Corp
- Kartoniert
- 432 Seiten
- Erschienen 2012
- Wiley-VCH
- Hardcover
- 542 Seiten
- Erschienen 2012
- Wiley
- Hardcover
- 552 Seiten
- Erschienen 2003
- Oxford University Press
- hardcover
- 665 Seiten
- Erschienen 2004
- AIAA
- paperback
- 224 Seiten
- Erschienen 1980
- Springer
- Hardcover
- 620 Seiten
- Erschienen 1992
- Vieweg+Teubner Verlag
- Gebunden
- 347 Seiten
- Erschienen 2011
- Springer
- hardcover
- 587 Seiten
- Erschienen 1996
- Vieweg+Teubner Verlag
- hardcover -
- Erschienen 1992
- Ravenna Park Pub
- hardcover
- 799 Seiten
- Erschienen 1999
- AIAA
- hardcover
- 1037 Seiten
- Erschienen 1995
- Pearson
- Gebunden
- 757 Seiten
- Erschienen 2010
- Wiley-VCH