MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Wang Ji" – 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

On the Design of Hybrid Control Systems Using Automata Models
by Dang Van, Wang Ji — 1996 — LCNS 1180, Foundations of Software Technology and Theoretical Computer Science, 16th Conference
…On the Design of Hybrid Control Systems Using Automata Models Dang Van Hung ? and Wang Ji…
Add To MetaCart

Formal Specification of Stability in Hybrid Control Systems
by Wang Ji, He Weidong — 1995 — Sontag (Eds): Hybrid Systems III, LNCS 1066
… Specification of Stability in Hybrid Control Systems Wang Ji and He Weidong Dec 1995 UNU/IIST and UNU…
Cited by 2 (0 self) – Add To MetaCart

Towards a Proof Assistant for Interval Logics
by Mao Xiaoguang, Xu Qiwen, Wang Ji — UNU/IIST, International Institute for Software Technology, P.O. Box 3058
… Assistant for Interval Logics Mao Xiaoguang, Xu Qiwen and Wang Ji October 1996 UNU/IIST UNU/IIST enables…
Cited by 2 (0 self) – Add To MetaCart

On The Design of Hybrid Control Systems Using I/O Automata Models
by Dang Van Hung, Wang Ji — 1994 — In Foundations of Software Technology and Theoretical Computer science (FST& TCS16), LNCS 1180
… of Hybrid Control Systems Using I/O Automata Models Dang Van Hung and Wang Ji November 1994 UNU/IIST UNU…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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