Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Modeling and Analysis of Timed Systems

  • E-Book (pdf)
  • 353 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Syst... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 77.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.



Inhalt

Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.

Produktinformationen

Titel: Formal Modeling and Analysis of Timed Systems
Untertitel: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Editor:
EAN: 9783319657653
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Anzahl Seiten: 353
Veröffentlichung: 01.09.2017
Dateigrösse: 15.2 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"