Interval Temporal Logic for Real-time Systems

Interval Temporal Logic for Real-time Systems
Author :
Publisher :
Total Pages : 177
Release :
ISBN-10 : OCLC:1045918122
ISBN-13 :
Rating : 4/5 ( Downloads)
GET BOOK
Book Synopsis Interval Temporal Logic for Real-time Systems by : Pierfrancesco Bellini

Download or read book Interval Temporal Logic for Real-time Systems written by Pierfrancesco Bellini and published by . This book was released on 2000 with total page 177 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Interval Temporal Logic for Real-time Systems Related Books

Interval Temporal Logic for Real-time Systems
Language: en
Pages: 177

Interval Temporal Logic for Real-time Systems

Authors: Pierfrancesco Bellini
Categories:
Type: BOOK - Published: 2000 - Publisher:

GET EBOOK

Specifying Real-Time Systems with Interval Logic
Language: en
Pages: 82

Specifying Real-Time Systems with Interval Logic

Authors: National Aeronautics and Space Administration (NASA)
Categories:
Type: BOOK - Published: 2018-07-16 - Publisher: Createspace Independent Publishing Platform

GET EBOOK

Pure temporal logic makes no reference to time. An interval temporal logic and an extension to that logic which includes real time constraints are described. Th
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
Interval Temporal Logic for Real-time System Specification
Language: en
Pages: 159

Interval Temporal Logic for Real-time System Specification

Authors: Savas Konur
Categories:
Type: BOOK - Published: 2008 - Publisher:

GET EBOOK