Cavalheiro / Fiadeiro | Formal Methods: Foundations and Applications | E-Book | sack.de
E-Book

E-Book, Englisch, Band 10623, 305 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Cavalheiro / Fiadeiro Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
1. Auflage 2017
ISBN: 978-3-319-70848-5
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

E-Book, Englisch, Band 10623, 305 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-319-70848-5
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages. The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Cavalheiro / Fiadeiro Formal Methods: Foundations and Applications jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Cavalheiro, Simone
Fiadeiro, José

Weitere Infos & Material

Formal methods integration and experience reports.- Model checking.- Refinement and verification.- Semantics and languages.

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.