LEADER 02627nam 22004935 450 001 996538666803316 005 20230609192105.0 010 $a3-031-35355-2 024 7 $a10.1007/978-3-031-35355-0 035 $a(MiAaPQ)EBC30591379 035 $a(Au-PeEL)EBL30591379 035 $a(OCoLC)1382388935 035 $a(DE-He213)978-3-031-35355-0 035 $a(PPN)272259616 035 $a(EXLCZ)9926895698700041 100 $a20230609d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Techniques for Distributed Objects, Components, and Systems$b[electronic resource] $e43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19?23, 2023, Proceedings /$fedited by Marieke Huisman, António Ravara 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (233 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13910 311 08$aPrint version: Huisman, Marieke Formal Techniques for Distributed Objects, Components, and Systems Cham : Springer,c2023 9783031353543 327 $aConcurrent programming -- Security -- Probabilities, time and other resources -- Model-based testing and petri nets. 330 $aThis book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13910 606 $aSoftware engineering 606 $aSoftware Engineering 615 0$aSoftware engineering. 615 14$aSoftware Engineering. 676 $a004.0151 700 $aHuisman$b Marieke$0995291 701 $aRavara$b António$01368940 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996538666803316 996 $aFormal Techniques for Distributed Objects, Components, and Systems$93394912 997 $aUNISA