Login / Signup

Detecting energy bugs and hotspots in control software using model checking.

Pascal van GastelBernard van GastelMarko C. J. D. van Eekelen
Published in: Programming (2018)
Keyphrases