{"product_id":"software-engineering-and-formal-methods-5","title":"Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers","description":"\u003cp\u003eThe volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019.\u003c\/p\u003e\u003cp\u003eThe 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops:\u003c\/p\u003e\u003cp\u003eCoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;  ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;  and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems .\u003cbr\u003e\u003c\/p\u003e","brand":"None","offers":[{"title":"Paperback","offer_id":46281196634322,"sku":"9783030575052","price":116.95,"currency_code":"CAD","in_stock":true},{"title":"Kobo eBook","offer_id":46281196667090,"sku":"1d76331b-3504-372b-ba12-84da7b5af9ea","price":89.69,"currency_code":"CAD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0655\/8980\/5233\/files\/1_b21c7518-f2f9-42d5-8d5d-be46a30595bc.jpg?v=1763135237","url":"https:\/\/www.indigo.ca\/products\/software-engineering-and-formal-methods-5","provider":"Indigo","version":"1.0","type":"link"}