Slika na naslovnici

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings /

This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proc...

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Korporativna značnica: SpringerLink (Online service)
Drugi avtorji: Petrucci, Laure (Editor), Sproston, Jeremy (Editor)
Format: Elektronski eKnjiga
Jezik:angleščina
Izdano: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Izdaja:1st ed. 2023.
Serija:Lecture Notes in Computer Science, 14138
Teme:
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).
Online dostop:https://doi.org/10.1007/978-3-031-42626-1
Oznake: Označite
Brez oznak, prvi označite!
Kazalo:
  • Invited Paper
  • Computing the price of anarchy in atomic network congestion games
  • FORMATS 2023 Main Track
  • Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity
  • Automata with Timers
  • Layered controller synthesis for dynamic multi-agent systems
  • On the Susceptibility of QDI Circuits to Transient Faults
  • Maximum Satis ability in Mission-time Linear Temporal Logic
  • A local-time semantics for negotiations
  • Timed non-interference under Partial Observability and Bounded Memory
  • Special track on Monitoring of cyber-physical systems Usage- and Risk-aware Falsification Testing for Cyber-Physical Systems
  • Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.

Podobne knjige/članki