Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ... and Software Engineering, Band 10951) - Softcover

 
9783319955810: Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ... and Software Engineering, Band 10951)
Softcover
ISBN 10: 3319955810 ISBN 13: 9783319955810
Verlag: Springer, 2018

Inhaltsangabe

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.

The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.

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

Verlag
Springer
Erscheinungsdatum
2018
Sprache
Englisch
ISBN 10 
3319955810
ISBN 13 
9783319955810
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
708
Herausgeber
Havelund Klaus, Peleska Jan, Roscoe Bill, De Vink Erik
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland