@dblp

GENEE: a benchmark generator for static analysis tools of energy-constrained cyber-physical systems.

, , and . Bench@CPSIoTWeek, page 1-6. ACM, (2019)

Links and resources

Tags