{"product_id":"9783031124280","title":"Lecture Notes in Computer Science: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers","description":"\u003ch1\u003eLecture Notes in Computer Science: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers\u003c\/h1\u003e \u003ch2\u003eCerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Venture, Gentiane\u003c\/h2\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.\u003c\/p\u003e\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\u003cdiv\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.\u003c\/div\u003e\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\u003cdiv\u003e\n\u003cdiv\u003eSEFM 2021 presents the following four workshops:\u003c\/div\u003e\n\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\n\u003cdiv\u003eCIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;\u003c\/div\u003e\n\u003cdiv\u003eCoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;\u003c\/div\u003e\n\u003cdiv\u003eOpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;\u003c\/div\u003e\n\u003cdiv\u003eASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.\u003c\/div\u003e\n\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\n\u003cdiv\u003eDue to the Corona pandemic this event washeld virtually.\u003c\/div\u003e\n\u003c\/div\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2022-09-25\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783031124280\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-031-12429-7\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 350\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45378098528396,"sku":"9783031124280","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783031124280.jpg?v=1773276357","url":"https:\/\/lateknightbooks.com\/products\/9783031124280","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}