Searching for "Probabilistic Duration Calculus for Continuous Time." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Probabilistic duration calculus for continuous time
- … the condition below. Probabilistic Duration Calculus for Continuous Time 5 Let a = (s, s ′ ) ∈ A and As = {(s…
- Cited by 7 (3 self) – Add To MetaCart
-
The FME Rail Annotated Rail Bibliography
- …. Ravn, and Michael R. Hansen. An Extended Duration Calculus for Real-time Systems. Research Report 9…
- Add To MetaCart
-
Duration Calculus Specification of Scheduling for Tasks with Shared Resources
- … for discrete time [7]. In a more recent work [4], a probabilistic duration calculus for continuous time…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 3.
