Algorithm for synthesis of real-time systems under reliability constraints

From MaRDI portal
Publication:2263425