Login / Signup
Towards power management verification of time-triggered systems using virtual platforms.
Sören Schreiner
Razi Seyyedi
Maher Fakih
Kim Grüttner
Wolfgang Nebel
Published in:
SAMOS (2018)
Keyphrases
</>
power management
distributed systems
power consumption
management system
database
augmented reality
intelligent systems
complex systems
energy consumption
data streams
expert systems
computational intelligence
computer systems
virtual world
virtual reality
formal methods