Spatio-Temporal Specification Language for Cyber-Physical Systems.

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