Login / Signup
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.
Andrea Acquaviva
Alessandro Aldini
Marco Bernardo
Alessandro Bogliolo
Edoardo Bontà
Emanuele Lattanzi
Published in:
SFM (2005)
Keyphrases
</>
formal methods
formal analysis
model checking
formal specification
safety critical
software engineering
process algebra
power management
data sets
model checker
formal specification language
knowledge based systems
temporal logic
power consumption
relational databases
artificial intelligence
machine learning