{"product_id":"software-engineering-and-formal-methods-sefm-2022-collocated-workshops-ai4ea-fide-cosimcps-cifma-berlin-germany-september-2630-2022-revised-selected-papers-9783031262357","title":"Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThis volume includes revised selected papers from four workshops at SEFM 2022, covering topics such as AI4EA, F-IDE, CoSim-CPS, and CIFMA. The papers were reviewed and selected from a total of 39 submissions. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 420 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 11 February 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThis comprehensive volume presents a selection of revised papers from the four workshops that were closely affiliated with the 20th International Conference on Software Engineering and Formal Methods (SEFM 2022), which took place in Berlin, Germany, in September 2022. Comprising a total of 19 full papers and 9 short papers, the selection process involved a rigorous review of 39 submissions, ensuring that only the most exceptional and innovative contributions made it into this publication.\u003cbr\u003e\u003cbr\u003eThe workshops that contributed to this volume include:\u003cbr\u003e\u003cbr\u003eAI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications\u003cbr\u003eF-IDE 2022: 7th Workshop on Formal Integrated Development Environment\u003cbr\u003eCoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems\u003cbr\u003eCIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models, and Applications\u003cbr\u003e\u003cbr\u003eEach workshop in this series provided a platform for researchers and practitioners to exchange ideas, share expertise, and explore the latest advancements in software engineering and formal methods. The papers presented at these workshops cover a wide range of topics, including artificial intelligence, formal verification, software testing, model-based design, and cyber-physical systems.\u003cbr\u003e\u003cbr\u003eBy compiling these revised papers into a single volume, this publication aims to provide a valuable resource for the software engineering community. It serves as a testament to the high quality and significance of the research conducted at SEFM 2022 and offers insights into the latest trends and developments in the field.\u003cbr\u003e\u003cbr\u003eWe hope that this volume will be of great interest to researchers, practitioners, and students alike, and we encourage you to explore the contents and contribute to the ongoing discourse in software engineering and formal methods.\u003cbr\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 658g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031262357\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2023\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":44302301593850,"sku":"9783031262357","price":85.39,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_a0601946-c5ef-40eb-96fa-cf74feb3e606.jpg?v=1687924573","url":"https:\/\/shulphink.com\/products\/software-engineering-and-formal-methods-sefm-2022-collocated-workshops-ai4ea-fide-cosimcps-cifma-berlin-germany-september-2630-2022-revised-selected-papers-9783031262357","provider":"Shulph Ink","version":"1.0","type":"link"}