LEADER 03690nam  22008295  450 
001 9910590070203321
005 20251225213434.0
010   $a9783031158391
010   $a3031158393
024 7 $a10.1007/978-3-031-15839-1
035   $a(MiAaPQ)EBC7078240
035   $a(Au-PeEL)EBL7078240
035   $a(CKB)24750399800041
035   $a(PPN)264191587
035   $a(BIP)85478838
035   $a(BIP)85215802
035   $a(DE-He213)978-3-031-15839-1
035   $a(EXLCZ)9924750399800041
100   $a20220828d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Modeling and Analysis of Timed Systems $e20th International Conference, FORMATS 2022, Warsaw, Poland, September 13?15, 2022, Proceedings /$fedited by Sergiy Bogomolov, David Parker
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (315 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13465
311 08$aPrint version: Bogomolov, Sergiy Formal Modeling and Analysis of Timed Systems Cham : Springer International Publishing AG,c2022 9783031158384 
327   $aInvited Papers -- Probabilistic and Timed Systems -- Temporal Logic -- Timed Automata and Games -- Neural Networks -- Reinforcement Learning.
330   $aThis book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions are presented in this volume with 3 full-length papers associated with invited/anniversary talks. The papers focus on topics such as modelling, design and analysis of timed computational systems. The conference aims in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13465
606   $aComputer science
606   $aData structures (Computer science)
606   $aInformation theory
606   $aSoftware engineering
606   $aComputer engineering
606   $aComputer networks
606   $aLogic programming
606   $aNatural language processing (Computer science)
606   $aTheory of Computation
606   $aData Structures and Information Theory
606   $aSoftware Engineering
606   $aComputer Engineering and Networks
606   $aLogic in AI
606   $aNatural Language Processing (NLP)
615  0$aComputer science.
615  0$aData structures (Computer science)
615  0$aInformation theory.
615  0$aSoftware engineering.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aLogic programming.
615  0$aNatural language processing (Computer science)
615 14$aTheory of Computation.
615 24$aData Structures and Information Theory.
615 24$aSoftware Engineering.
615 24$aComputer Engineering and Networks.
615 24$aLogic in AI.
615 24$aNatural Language Processing (NLP).
676   $a003.3
676   $a004.0151
702   $aBogomolov$b Sergiy
702   $aParker$b David
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910590070203321
996   $aFormal Modeling and Analysis of Timed Systems$9772562
997   $aUNINA