Verwandte Artikel zu FM 2012: Formal Methods: 18th International Symposium,...

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science, Band 7436) - Softcover

 
9783642327582: FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science, Band 7436)
Softcover
ISBN 10: 3642327583 ISBN 13: 9783642327582
Verlag: Springer, 2012

Inhaltsangabe

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
3642327583
ISBN 13 
9783642327582
Einband
Taschenbuch
Anzahl der Seiten
504
Herausgeber
Giannakopoulou Dimitra, Mery Dominique
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland