LEADER 02507nam 2200517 450 001 996418282703316 005 20210208225117.0 010 $a3-030-57506-3 024 7 $a10.1007/978-3-030-57506-9 035 $a(CKB)4100000011435835 035 $a(DE-He213)978-3-030-57506-9 035 $a(MiAaPQ)EBC6346727 035 $a(PPN)25466640X 035 $a(EXLCZ)994100000011435835 100 $a20210208d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aSoftware engineering and formal methods $eSEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers /$fJavier Camara, Martin Steffan (editors) 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$dİ2020 215 $a1 online resource (X, 277 p. 230 illus., 28 illus. in color.) 225 1 $aLecture Notes in Computer Science ;$v12226 311 $a3-030-57505-5 327 $aSoftware Engineering -- Software Technologies -- Model-Driven Engineering -- Formal Methods. 330 $aThe volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops: CoSim-CPS 2019 ? 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems . 410 0$aLecture notes in computer science ;$v12226. 606 $aSoftware engineering$vCongresses 606 $aFormal methods (Computer science)$vCongresses 606 $aArtificial intelligence 615 0$aSoftware engineering 615 0$aFormal methods (Computer science) 615 0$aArtificial intelligence. 676 $a005.1 702 $aSteffan$b Martin 702 $aCa?mara$b Javier 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418282703316 996 $aSoftware Engineering and Formal Methods$92077897 997 $aUNISA