| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910590070203321 |
|
|
Titolo |
Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / / edited by Sergiy Bogomolov, David Parker |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (315 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13465 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Computer science |
Data structures (Computer science) |
Information theory |
Software engineering |
Computer engineering |
Computer networks |
Logic programming |
Natural language processing (Computer science) |
Theory of Computation |
Data Structures and Information Theory |
Software Engineering |
Computer Engineering and Networks |
Logic in AI |
Natural Language Processing (NLP) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Probabilistic and Timed Systems -- Temporal Logic -- Timed Automata and Games -- Neural Networks -- Reinforcement Learning. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This 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. |
|
|
|
|
|
| |