Specification and Proof in Real Time CSP

Author	: Jim Davies
Publisher	: Cambridge University Press
Total Pages	: 208
Release	: 1993-05-20
ISBN-10	: 0521450551
ISBN-13	: 9780521450553
Rating	: 4/5 (51 Downloads)

DOWNLOAD EBOOK

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

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

DOWNLOAD EBOOK

The research contained in this book represents work on the specification and verification of real-time systems using CSP.

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

DOWNLOAD 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

Language: en
Pages: 320

Real-Time Systems

Authors: Ernst-Rüdiger Olderog

Categories: Computers

Type: BOOK - Published: 2008-09-11 - Publisher: Cambridge University Press

DOWNLOAD 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

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

DOWNLOAD 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.

Language: en
Pages: 306

Real-Time Programming 1992

Authors: J.A. De La Puente

Categories: Computers

Type: BOOK - Published: 2017-02-21 - Publisher: Elsevier

DOWNLOAD EBOOK

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