{"product_id":"9783030296612","title":"Formal Modeling and Analysis of Timed Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.\u003c\/p\u003e\u003cp\u003eThe 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities.\u003c\/p\u003e\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2019\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer International Publishing\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 492\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Étienne André","offers":[{"title":"Default Title","offer_id":41266058035378,"sku":"9783030296612","price":1327463.15,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/303029661X.01_SCLZZZZZZZ.jpg?v=1636024668","url":"https:\/\/readabook.store\/en-id\/products\/9783030296612","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}