Code aware resource management
Krishnendu Chatterjee,Luca de Alfaro,Marco Faella…Volume:
42
Langue:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-012-0170-4
Date:
April, 2013
Fichier:
PDF, 1.10 MB
english, 2013