MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Checking Parallel Real-Time Systems for Linear Duration Invariants." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

On Checking Parallel Real-Time Systems for Linear Duration Invariants
by Dang Van, Pham Hong Thai — 1998 — Proceedings of the Inter. Symposium on Software Engineering for Parallel and Distributed Systems
…On Checking Parallel Real-Time Systems for Linear Duration Invariants Dang Van Hung and Pham…
Add To MetaCart

On Checking Parallel Real-time Systems for Linear Duration Invariants
by Zhao Jianhua, Dang Van Hung — 1998 — Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE’98), 20
…On Checking Parallel Real-Time Systems for Linear Duration Properties Zhao Jianhua ⋆ and Dang Van…
Cited by 1 (0 self) – Add To MetaCart

Hung and Pham Hong Thai. On Checking Parallel Real-Time Systems for Linear Duration Invariants
by David J. Finton — 2002 — Proceedings of the International Symposium of Software Engineering for Parallel and Distributed Systems (PDSE'98
… on experiments that illustrate one implementation of these ideas in a system which constructs its representation…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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