Using Real-Time Maude to Model Check Energy Consumption Behavior.

Shin Nakajima

Browse the full FM paper archive.