Specification and Proof in Real Time CSP

Jim Davies

The research contained here represents the very latest work on the specification and verification of real-time systems.

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB