MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Dang Van Hung" – sorted by Relevance.

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

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

47 documents found, showing 1 through 10. Next 10 →

ATOM

Projections: A Technique for Verifying Real-Time Programs in Duration Calculus
by Dang Van Hung — 1999 — Published in the proceedings of the Conference on Information Technology and education, Ho Chi Minh city
…Projections: A Technique for Verifying Real-Time Programs in Duration Calculus Dang Van Hung…
Cited by 11 (7 self) – 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
…Real-Time Systems Development with Duration Calculi: an Overview Dang Van Hung The United Nations…
Cited by 8 (4 self) – Add To MetaCart

Modelling and Verification of Biphase Mark Protocols in Duration Calculus Using PVS
by Dang Van Hung — 1998 — in the Proceedings of the 1998 International Conference on Application of Concurrency to System Design (CSD'98
…Modelling and Verification of Biphase Mark Protocols in Duration Calculus Using PVS Dang Van Hung…
Cited by 9 (8 self) – Add To MetaCart

Specifying Various Time Models with Temporal Propositional Variables
by Dang Van Hung — 2007 — in Duration Calculus. Research Report 377, UNU-IIST, P.O.Box 3058
… with Temporal Propositional Variables in Duration Calculus Dang Van Hung June 2007 UNU-IIST Report No. 377 R UNU…
Cited by 1 (1 self) – Add To MetaCart

A Technique for Improving Time Performance for Synchronous Parallel Programs
by Dang Van Hung — 2004
… Performance for Synchronous Parallel Programs Dang Van Hung March 2004 UNU-IIST Report No. 297 R UNU…
Cited by 1 (0 self) – Add To MetaCart

Toward a formal model for component interfaces for real-time systems
by Dang Van Hung — 2005 — In Tiziana Margaria and Mieke Massink, editors, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, pages 106 – 114
… Interfaces for Real-time Systems Dang Van Hung March 2004 UNU-IIST Report No. 296 R UNU-IIST and UNU…
Cited by 1 (1 self) – Add To MetaCart

Verification via Digitized Models of Real-Time Hybrid Systems
by Dang Van Hung, Ko Kwang — 1995
…Verification via Digitized Models of Real-Time Hybrid Systems Dang Van Hung and Ko Kwang Il y…
Add To MetaCart

Deriving real-time programs from duration calculus specifications
by François Siewe, Dang Van Hung — 2000 — Published in the proceedings of the 11th Advanced Research Working Conference on Correct Hardware Design and Veri Methods (CHARME 2001), Livingston-Edinburgh
…Deriving Real-Time Programs from Duration Calculus Specifications François Siewe 1 and Dang Van…
Cited by 12 (7 self) – Add To MetaCart

Probabilistic duration calculus for continuous time
by Dang Van Hung, Zhou Chaochen — 1994 — Formal Aspects of Computing
… for Continuous Time Dang Van Hung 1 and Zhou Chaochen 2 The United Nations University International Institute…
Cited by 7 (3 self) – 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

Showing 1 through 10. Next 10 →

ATOM

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