An Approach of Model Checking UML Statecharts (2008)
Dong Wei, Wang Ji, Qi Zhi-chang
Dong W, Wang J, Qi ZC. An approach of model checking UML Statecharts. Journal of Software, 2003,14(4):
Ablan Sherimay, Rawat Satinder, Viard Mathias, Wang Ji, Puri Anu, Blumenthal Robert
Abstract Background HIV-1 entry into cells is a multifaceted process involving target cell CD4 and the chemokine receptors, CXCR4 or CCR5. The lipid composition of the host cell plays a significant...
On the Design of Hybrid Control Systems Using I/O Automata Models (1996)
development of high integrity computing systems, (ii) highest level post-graduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated...
Weidong H., “Formal Specification of stability in hybrid control systems (1996)
China and Portugal through contribution to the UNU Endowment Fund. The mission of UNU/IIST is to assist developing countries in the application and development of software technology. UNU/IIST...
Towards a Proof Assistant for Interval Logics (1996)
Mao Xiaoguang, Xu Qiwen, Wang Ji
development of high integrity computing systems, (ii) highest level post-graduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated...
On the Design of Hybrid Control Systems Using Automata Models (1996)
. The paper gives a systematic way for the development of hybrid control systems, i.e. to refine specifications written in DC (Duration Calculus) into automata models. Firstly, DC formulas are...