Registered user since Fri 16 Mar 2018

Name: Pascal van Gastel

Affiliation: Avans University of Applied Sciences

Contributions

PASS 2018Author of Detecting energy bugs and hotspots in control software using model checking within the PASS 2018-track