{"product_id":"formal-modeling-and-analysis-of-timed-systems-14th-international-conference-formats-2016-quebec-qc-canada-august-24-26-2016-proceedings-von-martin-franzle-nicolas-markey-nicolas-markey-hrsg","title":"Formal Modeling and Analysis of Timed Systems","description":"\n                                \n                \u003cp\u003eThis 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. \u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 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.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319448770\"\u003e\u003ch3\u003e14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319448770","offer_id":39426560032861,"sku":"9783319448770","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/b033ec82-be20-4e46-b1a3-b5dd2a1cab61.jpg?v=1773552227","url":"https:\/\/shop.autorenwelt.de\/products\/formal-modeling-and-analysis-of-timed-systems-14th-international-conference-formats-2016-quebec-qc-canada-august-24-26-2016-proceedings-von-martin-franzle-nicolas-markey-nicolas-markey-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}