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
  • 260 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 Syste... Weiterlesen
20%
72.00 CHF 57.60
Sie sparen CHF 14.40
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
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.



Includes supplementary material: sn.pub/extras



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: 9783319448770
ISBN: 3319448773
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Genre: Informatik
Anzahl Seiten: 260
Gewicht: 400g
Größe: H235mm x B155mm x T14mm
Jahr: 2016
Untertitel: Englisch
Auflage: 1st ed. 2016

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

Zuletzt angesehen
Verlauf löschen