Searching for authors named "Wang Ji" – sorted by Relevance.
-
On the Design of Hybrid Control Systems Using Automata Models
- 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
- 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
- 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
- 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

