Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach.

Published in: TASE (2011)

Keyphrases

formal specification
real time
cyber physical systems
model checking
cyber physical
reverse engineering
process algebra
physical world
formal methods
low cost
protocol specification
cyber security
control system
high speed
software engineering
relational databases
information technology
real world
databases