libcats.org
Главная

Duration Calculus: A Formal Approach to Real-Time Systems

Обложка книги Duration Calculus: A Formal Approach to Real-Time Systems

Duration Calculus: A Formal Approach to Real-Time Systems

,

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.

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: