Details Details PDF BIBTEX RIS Title Generalisation of availability models for resilient systems with online verification Journal title International Journal of Electronics and Telecommunications Yearbook 2025 Volume vol. 71 Issue No 3 Authors Kharchenko, Vyacheslav ; Ponochovnyi, Yuriy ; Ivasiuk, Oleksandr ; Illiashenko, Oleg ; Ponochovna, Olena Affiliation Kharchenko, Vyacheslav : National Aerospace University “Kharkiv Aviation Institute” ; Ponochovnyi, Yuriy : Poltava State Agrarian University ; Ivasiuk, Oleksandr : National Aerospace University “Kharkiv Aviation Institute” ; Illiashenko, Oleg : National Aerospace University “Kharkiv Aviation Institute” ; Ivasiuk, Oleksandr : Institute of Informatics and Telematics of the National Research Council (IIT-CNR) ; Ponochovna, Olena : Poltava State Agrarian University Keywords instrumentation and control systems ; online verification ; Small Modular Reactors ; dependability ; resilience ; Markov models Divisions of PAS Nauki Techniczne Coverage 1-7 Publisher Polish Academy of Sciences Committee of Electronics and Telecommunications Date 11.07.2025 Type Article Identifier DOI: 10.24425/ijet.2025.153618