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