Login / Signup
Zhangtao Chen
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Hybrid Systems
Fault Tolerant
Safety Critical
Modeling Language
Top Venues
APSEC
</>
Publications
</>
Zhangtao Chen
,
Jing Liu
,
Xi Ding
,
Miaomiao Zhang
RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems.
APSEC
(2019)