Temporal Logic for Real-time Systems

Temporal Logic for Real-time Systems
Author :
Publisher : Taunton, England : Research Studies Press
Total Pages : 209
Release :
ISBN-10 : 0863800866
ISBN-13 : 9780863800863
Rating : 4/5 (863 Downloads)
GET BOOK
Book Synopsis Temporal Logic for Real-time Systems by : Jonathan S. Ostroff

Download or read book Temporal Logic for Real-time Systems written by Jonathan S. Ostroff and published by Taunton, England : Research Studies Press. This book was released on 1989 with total page 209 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Temporal Logic for Real-time Systems Related Books

Temporal Logic for Real-time Systems
Language: en
Pages: 209

Temporal Logic for Real-time Systems

Authors: Jonathan S. Ostroff
Categories: Discrete-time systems
Type: BOOK - Published: 1989 - Publisher: Taunton, England : Research Studies Press

GET EBOOK

The Temporal Logic of Reactive and Concurrent Systems
Language: en
Pages: 432

The Temporal Logic of Reactive and Concurrent Systems

Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a
The Temporal Logic of Reactive and Concurrent Systems
Language: en
Pages: 447

The Temporal Logic of Reactive and Concurrent Systems

Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: Springer Science & Business Media

GET EBOOK

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a
Temporal Logic for Real-time Systems
Language: en
Pages: 232

Temporal Logic for Real-time Systems

Authors: Jonathan S. Ostroff
Categories: Computers
Type: BOOK - Published: 1989 - Publisher: Taunton, England : Research Studies Press

GET EBOOK

Providing a framework for modelling, specifying and verifying systems composed of real-time discrete event processes, this text combines a formal framework in c
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