Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Modeling and Analysis of Timed Systems

  • Kartonierter Einband
  • 353 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed System... Weiterlesen
20%
93.00 CHF 74.40
Sie sparen CHF 18.60
Exemplar wird für Sie besorgt.
Kein Rückgaberecht!
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

State-of-the-art research

Fast-track conference proceedings

Unique visibility

Produktinformationen

Titel: Formal Modeling and Analysis of Timed Systems
Untertitel: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Editor:
EAN: 9783642243097
ISBN: 978-3-642-24309-7
Format: Kartonierter Einband
Herausgeber: Springer, Berlin
Genre: Informatik
Anzahl Seiten: 353
Gewicht: 556g
Größe: H235mm x B235mm
Jahr: 2011
Untertitel: Englisch
Auflage: 2011

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"