Formal Modeling and Analysis of Timed Systems

Name: Formal Modeling and Analysis of Timed Systems
Brand: Springer International Publishing AG
SKU: 9783319448770
Price: 216.67 PLN
Availability: InStock

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Autor: Martin Fränzle, Nicolas Markey

Język:

Oprawa: Miękka

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

216.67 zł

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeli...

Informacje o książce

Autor

Martin Fränzle, Nicolas Markey

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2016

strony

245

EAN

9783319448770

ISBN

3319448773

Enbook ID

13633799

Wydawca

Springer International Publishing AG

Waga

3985

Wymiary

155 x 235 x 15

Pełny opis

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.§

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również