Specification and Proof in Real Time CSP |
|
| Author:
| Davies, Jim |
| Series title: | Distinguished Dissertations in Computer Science Ser. |
| ISBN: | 978-1-139-24325-4 |
| Publication Date: | May 2012 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
The research contained in this book represents work on the specification and verification of real-time systems using CSP.
The research contained in this book represents work on the specification and verification of real-time systems using CSP.