Formal modeling and analysis of timed systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings / Laure Petrucci, Jeremy Sproston, editors.
FORMATS (Conference) (21st : 2023 : Antwerp, Belgium); Petrucci, Laure, editor.; Sproston, Jeremy, editor.
2023
QA76.9.F67
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Formal modeling and analysis of timed systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings / Laure Petrucci, Jeremy Sproston, editors.
Meeting Name
FORMATS (Conference) (21st : 2023 : Antwerp, Belgium)
ISBN
9783031426261 (electronic bk.)
3031426266 (electronic bk.)
9783031426254
3031426258
DOI
https://doi.org/10.1007/978-3-031-42626-1
Published
Cham : Springer, 2023.
Language
English
Description
1 online resource (xiv, 181 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-42626-1 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 5, 2023).
Added Author
Petrucci, Laure, editor.
Sproston, Jeremy, editor.
Series
Lecture notes in computer science ; 14138. 1611-3349
Available in Other Form
Formal Modeling and Analysis of Timed Systems
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export