Sign in
Spatio-Temporal Specification Language for Cyber-Physical Systems.
Tengfei Li
Published in:
ICFEM (2019)
Keyphrases
</>
specification language
cyber physical systems
spatio temporal
cyber physical
formal specification
programming language
description language
physical world
cyber security
critical infrastructure
social networks
database systems
embedded systems
real time
artificial intelligence
open source