Vol-4012⫷ Vol-4013 ⫸Vol-4014
urn:nbn:de:0074-4013-0


Vol-4013/paper15⫷Vol-4013/paper16⫸Vol-4013/paper17
Oleksandr KozelskyiAndriy DrozdBohdan SavenkoPiotr Gaj

A model for probabilistic monitoring and proactive restart of real-time operating systems under intensive state changes in cyber-physical systems