Specification and Proof in Real Time CSP

Download or Read eBook Specification and Proof in Real Time CSP PDF 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.

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

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.