![Cover image for Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings Cover image for Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Author:
Petrucci, Laure. editor.
ISBN:
9783031426261
Edition:
1st ed. 2023.
Physical Description:
XIV, 181 p. 66 illus., 45 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 14138
Contents:
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.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-42626-1Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 521082-1001 | XX(521082.1) | Searching... | Searching... |