NASA Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

69,54 

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9,2016, Proceedings, Lecture Notes in Computer Science 9690 – Programming and Software Engineering

ISBN: 3319406477
ISBN 13: 9783319406473
Herausgeber: Sanjai Rayadurgam/Oksana Tkachuk
Verlag: Springer Verlag GmbH
Umfang: xix, 396 S., 129 s/w Illustr., 396 p. 129 illus.
Erscheinungsdatum: 04.06.2016
Auflage: 1/2016
Produktform: Kartoniert
Einband: Kartoniert

Includes supplementary material: sn.pub/extras

Artikelnummer: 9409642 Kategorie:

Beschreibung

This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …