Login / Signup
A language and a pattern system for temporal property specification: advanced metering infrastructure case study.
Tina Tavizi
Mehdi Shajari
Published in:
Int. J. Inf. Sec. (2020)
Keyphrases
</>
case study
specification language
advanced metering infrastructure
linear temporal logic
temporal ordering
programming language
temporal reasoning
smart grid
formal language
pattern languages
temporal constraints
formal specification
software development
databases
database systems
cost effective