论文信息 - Design and Validation of Reliable Complex Computer Systems - 字舞流文

Design and Validation of Reliable Complex Computer Systems

Peter M. G. Apers | Henk M. Blanken | H. Balsters | Maurice van Keulen | Jan Flokstra | R. A. de By | J. Skowronek