An Integrated Specification Logic for Cyber-Physical Systems.

Marius C. Bujorianu Howard Barringer

Published in: ICECCS (2009)

Keyphrases

cyber physical systems
cyber physical
physical world
embedded systems
cyber security
social networks
artificial intelligence
information systems
decision making
association rules
computational intelligence