A Formal Proof of the Soundness of the Hybrid CPS Clock Theory.

Jianlin Wang Chao Peng Zhenbing Zeng

Published in: TASE (2020)

Keyphrases

formal proof
database
formal theory
database systems
theoretical framework
information theory
theoretical basis
search engine
social networks
three dimensional
control system
high speed
first order logic
conceptual framework
hybrid learning