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
Argitalpen urtea: 2018
Alea: 18
Zenbakia: 2
Orrialdeak: 167-223
Mota: Artikulua