Searching for "An Expressive Temporal Logic for Real Time." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
An Expressive Temporal Logic for Real Time
- …An Expressive Temporal Logic for Real Time Yoram Hirshfeld and Alexander Rabinovich School…
- Add To MetaCart
-
Implementation of multimedia systems based on a real-time extension of Estelle
- … been introduced to TL to express real-time relations, e.g. timed operators as in Metric Temporal Logic…
- Cited by 6 (1 self) – Add To MetaCart
Showing 1 through 2.
