Sign in
Formal Modeling and Verification of Microservice-Based Cyber-Physical System.
Jingzi Wang
Hongyan Mao
Ningkang Jiang
Published in:
SOFL+MSVL (2020)
Keyphrases
</>
formal methods
cyber physical systems
real time
artificial intelligence