Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
- Lopez-Garcia, P.
- Darmawan, L.
- Klemen, M.
- Liqat, U.
- Bueno, F.
- Hermenegildo, M.V.
ISSN: 1475-3081, 1471-0684
Année de publication: 2018
Volumen: 18
Número: 2
Pages: 167-223
Type: Article