Credible execution of bounded-time parallel systems with delayed diagnosis

From MaRDI portal
Publication:1192010