Duration Calculus: A Formal Approach to Real-Time Systems

Main
Computers
Duration Calculus: A Formal Approach to...

Duration Calculus: A Formal Approach to Real-Time Systems

Name: Duration Calculus: A Formal Approach to Real-Time Systems
ISBN: 9783540408239

Zhou Chaochen, Michael R. Hansen

0 / 0

0 comments

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time are used to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations.

Категории:

Computers

Год:

2004

Издательство:

Springer

Язык:

english

Страницы:

256

ISBN 10:

3540408231