Login / Signup
Jie Liu
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 2
Top Topics
Theorem Prover
Invariant Features
Systems Development
Event Detection
Top Venues
Electron. Notes Theor. Comput. Sci.
Frontiers Comput. Sci.
COMPSAC (1)
</>
Publications
</>
Jie Liu
,
Jing Liu
,
Miaomiao Zhang
,
Haiying Sun
,
Xiaohong Chen
,
Dehui Du
,
Mingsong Chen
A proof-based method of hybrid systems development using differential invariants.
Frontiers Comput. Sci.
12 (5) (2018)
Jie Liu
,
Jing Liu
,
Miaomiao Zhang
,
Haiying Sun
,
Xiaohong Chen
,
Dehui Du
,
Mingsong Chen
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.
COMPSAC (1)
(2017)
Jie Liu
,
Jing Liu
A Formal Framework for Hybrid Event B.
Electron. Notes Theor. Comput. Sci.
309 (2014)