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

Formal Modeling and Analysis of Timed Systems

  • E-Book (pdf)
  • 245 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 14th 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 59.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 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.

The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.



Inhalt

Modeling Timed Phenomena.- Stochasticity and Hybrid Control.- Real-time Verification and Synthesis.- Workload Analysis.

Produktinformationen

Titel: Formal Modeling and Analysis of Timed Systems
Untertitel: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Editor:
EAN: 9783319448787
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 16.08.2016
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 10.54 MB
Anzahl Seiten: 245

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"

Zuletzt angesehen
Verlauf löschen