This 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.The 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.SEFM 2021 presents the following four workshops:CIFMA 2021 – 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;Co Sim-CPS 2021 – 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;Open CERT 2021 – 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 – 3rd International Workshop on Automated and verifiable Software s Ystem Development.Due to the Corona pandemic this event washeld virtually.
€55.96
Buy this ebook and get 1 more FREE!
भाषा अंग्रेज़ी ● स्वरूप EPUB ● ISBN 9783031124297 ● संपादक Marco Autili & Alessio Bucaioni ● प्रकाशक Springer International Publishing ● प्रकाशित 2022 ● डाउनलोड करने योग्य 3 बार ● मुद्रा EUR ● आईडी 8679169 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है
एक ही लेखक से अधिक ईबुक / संपादक
18,040 इस श्रेणी में ईबुक
