Resilience of Timed Systems

DOI10.4230/LIPICS.FSTTCS.2021.33MaRDI QIDQ6187047zbMATH OpenOpenAlexFDO

Authors S. Akshay, Blaise Genest, Shankara Narayanan Krishna, Sparsa Roychowdhury

Publication date 5 February 2024

Full work available at URL https://hal.inria.fr/hal-03439247

zbMATH Keywords

fault toleranceinteger-resetsresiliencetimed automata

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cited in

(1)

• Verification of time-bounded multiset rewriting properties

This page was built for publication: Resilience of Timed Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6187047)