{"product_id":"software-engineering-and-formal-methods-sefm-2021-collocated-workshops-cifma-cosim-cps-opencert-asyde-virtual-event-december-6-10-2021-revise-9783031124280","title":"Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Event, December 6-10, 2021, Revise","description":"\u003cp\u003e • Author(s): Antonio Cerone\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - General\u003c\/p\u003e\u003cp\u003eThis volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.\u003cbr\u003eThe 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.\u003cbr\u003eSEFM 2021 presents the following four workshops: \u003cbr\u003eCIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.\u003cbr\u003eDue to the Corona pandemic this event washeld virtually.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283175039127,"sku":"9783031124280","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031124280.webp?v=1769304282","url":"https:\/\/atlanticbooks.com\/products\/software-engineering-and-formal-methods-sefm-2021-collocated-workshops-cifma-cosim-cps-opencert-asyde-virtual-event-december-6-10-2021-revise-9783031124280","provider":"Atlantic Books","version":"1.0","type":"link"}