Details about the publication
Publisher: Bogomolov, Sergiy; Parker, David
Book title: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
Page range: 298-306
Publishing company: Springer
Place of publication: Warsaw, Poland
Title of series: Lecture Notes in Computer Science
Volume of series: 13465
Status: Published
Release year: 2022
Language in which the publication is written: English
Conference: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Warsaw, Poland
ISBN: 978-3-031-15838-4
Keywords: stochastic hybrid model, resilience, case study