Interval-based resource usage verification: Formalization and prototype
- Lopez-Garcia, P.
- Darmawan, L.
- Bueno, F.
- Hermenegildo, M.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642324949
Année de publication: 2012
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Revised Selected Papers
Volumen: 7177 LNCS
Pages: 54-71
Type: Communication dans un congrès