Dongol / Troubitsyna | Integrated Formal Methods | E-Book | sack.de
E-Book

E-Book, Englisch, 461 Seiten

Reihe: Lecture Notes in Computer Science

Dongol / Troubitsyna Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
1. Auflage 2020
ISBN: 978-3-030-63461-2
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

E-Book, Englisch, 461 Seiten

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-030-63461-2
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.

The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.

Dongol / Troubitsyna Integrated Formal Methods jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Dongol, Brijesh
Troubitsyna, Elena

Weitere Infos & Material

Integrating Machine Learning and Formal Modelling.- Modelling and Verification in B and Event-B.- Program Analysis and Testing.- Verification of Interactive Behaviour.- Formal Verification.- Static Analysis.- Domain-Specific Approaches.- Algebraic Techniques.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.