Formal Modeling and Analysis of Timed Systems

von

Fahrenberg, UliHrsg.Tripakis, StavrosHrsg.

E-BookPDF1 - PDF WatermarkE-Book

Englisch

Springer Berlin Heidelbergerschienen am25.09.20112011

This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.mehr

Verfügbare Formate

BuchKartoniert, Paperback

EUR53,49

E-BookPDF1 - PDF WatermarkE-Book

EUR53,49

Auf dieser Seite:

EUR53,49

In den Warenkorb

Produkt

KlappentextThis book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.

Details

Weitere ISBN/GTIN9783642243103

ProduktartE-Book

EinbandartE-Book

FormatPDF

Format Hinweis1 - PDF Watermark

FormatE107

Verlag

Springer Berlin Heidelberg

Erscheinungsjahr2011

Erscheinungsdatum25.09.2011

Auflage2011