Sankaranarayanan / Vicario | Formal Modeling and Analysis of Timed Systems | E-Book | www.sack.de
E-Book

E-Book, Englisch, 321 Seiten, Web PDF

Reihe: Computer Science (R0)

Sankaranarayanan / Vicario Formal Modeling and Analysis of Timed Systems

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
1. Auflage 2015
ISBN: 978-3-319-22975-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

E-Book, Englisch, 321 Seiten, Web PDF

Reihe: Computer Science (R0)

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

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.

The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.
Sankaranarayanan / Vicario Formal Modeling and Analysis of Timed Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Sankaranarayanan, Sriram
Vicario, Enrico
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.