Towards satisfaction checking of power contracts in Uppaal.

Gregor Nitsche Kim Grüttner Wolfgang Nebel

Published in: FDL (2014)

Keyphrases

power consumption
user satisfaction
supply chain
database systems
service quality
customer satisfaction
website
power distribution