Login / Signup
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems.
Tengfei Li
Jing Liu
JieXiang Kang
Haiying Sun
Wei Yin
Xiaohong Chen
Hui Wang
Published in:
QRS (2020)
Keyphrases
</>
specification language
cyber physical systems
spatio temporal
cyber physical
formal specification
description language
programming language
physical world
cyber security
embedded systems
critical infrastructure
web services
mobile devices