TY  - BOOK
AU  - Petrucci,Laure
AU  - Sproston,Jeremy
ED  - FORMATS (Conference)
TI  - Formal modeling and analysis of timed systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings 
T2  - Lecture notes in computer science,
SN  - 9783031426261
AV  - QA76.9.F67 F67 2023
U1  - 004.01/51 23/eng/20230905
PY  - 2023///
CY  - Cham
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Computer simulation
KW  - Temporal automata
KW  - System analysis
KW  - Méthodes formelles (Informatique)
KW  - Congrès
KW  - Simulation par ordinateur
KW  - Automates temporels
KW  - Analyse de systèmes
KW  - fast
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes author index; 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
N2  - 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 proceedings also contain one invited paper in full paper length. The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic systems
UR  - https://link.springer.com/10.1007/978-3-031-42626-1
ER  -