Contents Home Page Go Back Close Quit Using ITL and Tempura for Large Scale Specification and Simulation A. Cau, H. Zedan, N. Coleman and B. Moszkowski
Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. M...
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...