Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q114653853)
Jump to navigation
Jump to search
scientific article published in 2018
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption |
scientific article published in 2018 |
Statements
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (English)
P. LOPEZ-GARCIA
L. DARMAWAN
M. KLEMEN
U. LIQAT
F. BUENO
M. V. HERMENEGILDO
March 2018
18
2
167-223