Probabilistic optimisation of checkpoint intervals for real-time multi-tasks

From MaRDI portal
Publication:2858026