Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP
Author :
Publisher : Cambridge University Press
Total Pages : 208
Release :
ISBN-10 : 0521450551
ISBN-13 : 9780521450553
Rating : 4/5 (553 Downloads)
GET BOOK
Book Synopsis Specification and Proof in Real Time CSP by : Jim Davies

Download or read book Specification and Proof in Real Time CSP written by Jim Davies and published by Cambridge University Press. This book was released on 1993-05-20 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: The research contained in this book represents work on the specification and verification of real-time systems using CSP.


Specification and Proof in Real Time CSP Related Books

Specification and Proof in Real Time CSP
Language: en
Pages: 208

Specification and Proof in Real Time CSP

Authors: Jim Davies
Categories: Computers
Type: BOOK - Published: 1993-05-20 - Publisher: Cambridge University Press

GET EBOOK

The research contained in this book represents work on the specification and verification of real-time systems using CSP.
Theories And Experiences For Real-time System Development
Language: en
Pages: 444

Theories And Experiences For Real-time System Development

Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 1995-02-14 - Publisher: World Scientific

GET EBOOK

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Parti
Real-Time Systems
Language: en
Pages: 320

Real-Time Systems

Authors: Ernst-Rüdiger Olderog
Categories: Computers
Type: BOOK - Published: 2008-09-11 - Publisher: Cambridge University Press

GET EBOOK

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a cr
Hybrid and Real-Time Systems
Language: en
Pages: 444

Hybrid and Real-Time Systems

Authors: Oded Maler
Categories: Technology & Engineering
Type: BOOK - Published: 1997-03-05 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.
Real-Time Programming 1992
Language: en
Pages: 306

Real-Time Programming 1992

Authors: J.A. De La Puente
Categories: Computers
Type: BOOK - Published: 2017-02-21 - Publisher: Elsevier

GET EBOOK

The 47 papers in this volume provide a useful reference tool for the state-of-the-art research in real-time programming.