LEADER 04438nam 22006375 450 001 996418305503316 005 20200703101358.0 010 $a3-030-50086-1 024 7 $a10.1007/978-3-030-50086-3 035 $a(CKB)5280000000218549 035 $a(MiAaPQ)EBC6225116 035 $a(DE-He213)978-3-030-50086-3 035 $a(PPN)248595229 035 $a(EXLCZ)995280000000218549 100 $a20200609d2020 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] $e40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15?19, 2020, Proceedings /$fedited by Alexey Gotsman, Ana Sokolova 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (xii, 237 pages) $cillustrations 225 1 $aProgramming and Software Engineering ;$v12136 300 $aIncludes author index. 311 $a3-030-50085-3 327 $aFull Papers -- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego -- Towards Bridging Time and Causal Reversibility -- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory -- Conformance-Based Doping Detection for Cyber-Physical Systems -- On Implementable Timed Automata? -- Deep Statistical Model Checking -- Trace Equivalence and Epistemic Logic to Express Security Properties -- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns -- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities -- A Formal Framework for Consent Management -- Tutorials -- Tutorial: Parameterized Verification with Byzantine Model Checker -- Typechecking Java Protocols with [St]Mungo -- Short Paper -- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). 330 $aThis book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.* The 10 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems. *The conference was held virtually due to the COVID-19 pandemic. Chapter ?Conformance-Based Doping Detection for Cyber-Physical Systems? is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. 410 0$aProgramming and Software Engineering ;$v12136 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer organization 606 $aArtificial intelligence 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer organization. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aArtificial Intelligence. 676 $a004.36 702 $aGotsman$b Alexey$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSokolova$b Ana$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418305503316 996 $aFormal Techniques for Distributed Objects, Components, and Systems$91905204 997 $aUNISA LEADER 01536nas 2200481- 450 001 996205951403316 005 20231018213019.0 011 $a1697-7920 035 $a(DE-599)ZDB2835385-7 035 $a(OCoLC)1232519441 035 $a(CKB)1000000000044782 035 $a(CONSER)--2023240407 035 $a(EXLCZ)991000000000044782 100 $a20150923a20079999 --- b 101 0 $aspa 135 $aur||||||||||| 181 $ctxt$2rdacontent 181 $csti$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aRevista Iberoamericana de automática e informática industrial /$fComité Español de Automática (CEA) 210 31$aValencia (España) :$cDISA - Universitat Politècnica de València,$d2007- 215 $a1 online resource 300 $a"Control, automattizacion, robótica, tiempo real." 311 0 $a1697-7912 517 0 $aRIAI 531 $aRIAI 531 $aREV IBEROAM AUTOM IN 531 $aREV. IBEROAM. AUTOM. INFORM. IND 531 0 $aRev. iberoam. autom. inform. ind. 606 $aAutomatic control$vPeriodicals 606 $aAutomation$zSpain$vPeriodicals 608 $aSerial publications.$2lcgft 608 $aPeriodicals.$2lcgft 615 0$aAutomatic control 615 0$aAutomation 676 $a004 676 $a621.3 712 02$aComité Español de Automática, 906 $aJOURNAL 912 $a996205951403316 996 $aRevista Iberoamericana de automa?tica e informa?tica industrial$91904546 997 $aUNISA