Vicario / Sankaranarayanan | Formal Modeling and Analysis of Timed Systems | Buch | 978-3-319-22974-4 | sack.de

Buch, Englisch, Band 9268, 321 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 5037 g

Reihe: Lecture Notes in Computer Science

Vicario / Sankaranarayanan

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-22974-4
Verlag: Springer International Publishing

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

Buch, Englisch, Band 9268, 321 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 5037 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-319-22974-4
Verlag: Springer International Publishing

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.
Vicario / Sankaranarayanan Formal Modeling and Analysis of Timed Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Vicario, Enrico
Sankaranarayanan, Sriram

Fachgebiete

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.