A formal model for sustainable vehicle-to-grid management.

Mohammad Ashiqur Rahman Fadi Mohsen Ehab Al-Shaer

Published in: SEGS@CCS (2013)

Keyphrases

formal model
management system
water resources
management policies
knowledge management
security properties
grid computing
formal models
power grid
real time
decision support
information management
grid points
virtual organisations
early stage
predicate calculus
probabilistic knowledge
data processing