Sign in
Jingzi Wang
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Cyber Physical Systems
Real Time
Top Venues
SOFL+MSVL
</>
Publications
</>
Jingzi Wang
,
Hongyan Mao
,
Ningkang Jiang
Formal Modeling and Verification of Microservice-Based Cyber-Physical System.
SOFL+MSVL
(2020)