Cover Image
Read Now

1
Published 1991
Springer Netherlands
Table of Contents: “...: Evaluation, Validation and Maintenance -- Specification and Verification of Distributed Real-Time Systems...”