Login / Signup
Pascal van Gastel
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Automated Verification
Control Software
Timed Automata
Computation Tree Logic
Top Venues
Programming
</>
Publications
</>
Pascal van Gastel
,
Bernard van Gastel
,
Marko C. J. D. van Eekelen
Detecting energy bugs and hotspots in control software using model checking.
Programming
(2018)