Inproceedings,

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

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews