Merkzettel Warenkorb
Produktbild: NASA Formal Methods
Band 8430

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Aus der Reihe Programming and Software Engineering

63,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.05.2019

Abbildungen

XXI, 372 illus., 58 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Julia M. Badger + weitere

Verlag

Springer

Seitenzahl

392

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

628 g

Auflage

1st ed. 2019

Sprache

Englisch

ISBN

978-3-030-20651-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.05.2019

Abbildungen

XXI, 372 illus., 58 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

392

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

628 g

Auflage

1st ed. 2019

Sprache

Englisch

ISBN

978-3-030-20651-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: NASA Formal Methods

  • Formal verification, including theorem proving, model checking, and static analysis.- Advances in automated theorem proving including SAT and SMT solving.- Use of formal methods in software and system testing.- Run-time verification.- Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, and parallel and/or distributed techniques.- Code generation from formally verified models.- Safety cases and system safety.- Formal approaches to fault tolerance.- Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems.- Formal methods in systems engineering and model-based development.- Correct-by-design controller synthesis.- Formal assurance methods to handle adaptive systems.