LEADER 02987nam  2200505   450 
001 996511870203316
005 20230515111435.0
010   $a3-031-26236-0
024 7 $a10.1007/978-3-031-26236-4
035   $a(MiAaPQ)EBC7201785
035   $a(Au-PeEL)EBL7201785
035   $a(CKB)26155071400041
035   $a(DE-He213)978-3-031-26236-4
035   $a(PPN)268204667
035   $a(EXLCZ)9926155071400041
100   $a20230515d2023      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aSoftware Engineering and Formal Methods. SEFM 2022 Collocated Workshops $eAI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers /$fPaolo Masci [and four others], editors
205   $a1st ed. 2023.
210  1$aCham, Switzerland :$cSpringer Nature Switzerland AG,$d[2023]
210  4$dİ2023
215   $a1 online resource (424 pages)
225 1 $aLecture Notes in Computer Science Series ;$vVolume 13765
311 08$aPrint version: Masci, Paolo Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops Cham : Springer International Publishing AG,c2023 9783031262357 
320   $aIncludes bibliographical references and index.
327   $aArtificial Intelligence -- Co-Simulation -- Formal Methods -- Formal Modelling -- Verification and Validation -- High Confidence Systems -- Integrated Development Environment -- Interdisciplinary Foundations of Cognition -- Logics; Simulation; Software Engineering; System Engineering.
330   $aThis volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Germany, in September 2022. The 19 full papers presented together with 9 short papers in this volume were carefully reviewed and selected from a total of 39 submissions. The contributions that are collected in this volume have been selected from the presentations at the following workshops: AI4EA 2022: First Berlin Workshop on Artificial Intelligence for Engineering Applications; F-IDE 2022: 7th Workshop on Formal Integrated Development Environment; CoSim-CPS 2022: 6th Workshop on Formal Co-Simulation of Cyber-Physical Systems; CIFMA 2022: 4th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
410  0$aLecture notes in computer science ;$vVolume 13765.
606   $aArtificial intelligence$vCongresses
606   $aSoftware engineering$vCongresses
615  0$aArtificial intelligence
615  0$aSoftware engineering
676   $a006.3
702   $aMasci$b Paolo
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996511870203316
996   $aSoftware Engineering and Formal Methods. SEFM 2022 Collocated Workshops$93371627
997   $aUNISA