A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems.

Lichen Zhang Jifeng He

Published in: ICHIT (2) (2011)

Keyphrases

aspect oriented
information systems
cyber physical systems
database
high level
management system
open source