MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Duration Calculus with Infinite Intervals." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

A Duration Calculus with Infinite Intervals
by Zhou Chaochen, Dang Van Hung, Li Xiaoshan — 1995 — In Fundamentals of Computation Theory, Horst Reichel (Ed.), pages 16--41. LNCS 965
…A Duration Calculus with Infinite Intervals Zhou Chaochen, Dang Van Hung, and Li Xiaoshan…
Cited by 11 (2 self) – Add To MetaCart

Formal Specification of Stability in Hybrid Control Systems
by Wang Ji, He Weidong — 1995 — Sontag (Eds): Hybrid Systems III, LNCS 1066
…. The formalism adopted is the Extended Duration Calculus with infinite intervals EDC i . Wang Ji is from…
Cited by 2 (0 self) – Add To MetaCart

The FME Rail Annotated Rail Bibliography
by Dines Bjørner — 1998
…(5):269--276, 1991. [CHX95] Zhou Chaochen, Dang Van Hung, and Li Xiaoshan. A Duration Calculus with Infinite…
Add To MetaCart

Real-time Systems Development with Duration Calculus: an Overview
by Dang Van Hung — 2002 — Published in the proceedings for the UNU-IIST 10th Anniversary Colloquium on Formal Methods at the Crossroads, from Panacea to Foundational Support, LNCS 2757
… an interval. This observation has led to the development of a Duration Calculus with infinite intervals [7…
Cited by 8 (4 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB