000 | 03287nam a22006495i 4500 | ||
---|---|---|---|
001 | 978-3-031-15839-1 | ||
003 | DE-He213 | ||
005 | 20240423125007.0 | ||
007 | cr nn 008mamaa | ||
008 | 220828s2022 sz | s |||| 0|eng d | ||
020 |
_a9783031158391 _9978-3-031-15839-1 |
||
024 | 7 |
_a10.1007/978-3-031-15839-1 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aFormal Modeling and Analysis of Timed Systems _h[electronic resource] : _b20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / _cedited by Sergiy Bogomolov, David Parker. |
250 | _a1st ed. 2022. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2022. |
|
300 |
_aXVII, 307 p. 60 illus., 34 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13465 |
|
505 | 0 | _aInvited Papers -- Probabilistic and Timed Systems -- Temporal Logic -- Timed Automata and Games -- Neural Networks -- Reinforcement Learning. | |
520 | _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. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aData structures (Computer science). | |
650 | 0 | _aInformation theory. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer engineering. | |
650 | 0 | _aComputer networks . | |
650 | 0 | _aLogic programming. | |
650 | 0 | _aNatural language processing (Computer science). | |
650 | 1 | 4 | _aTheory of Computation. |
650 | 2 | 4 | _aData Structures and Information Theory. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aComputer Engineering and Networks. |
650 | 2 | 4 | _aLogic in AI. |
650 | 2 | 4 | _aNatural Language Processing (NLP). |
700 | 1 |
_aBogomolov, Sergiy. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aParker, David. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783031158384 |
776 | 0 | 8 |
_iPrinted edition: _z9783031158407 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13465 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-15839-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cSPRINGER | ||
999 |
_c173027 _d173027 |