Interval-based resource usage verification: Formalization and prototype
- Lopez-Garcia, P.
- Darmawan, L.
- Bueno, F.
- Hermenegildo, M.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642324949
Ano de publicación: 2012
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Revised Selected Papers
Volume: 7177 LNCS
Páxinas: 54-71
Tipo: Achega congreso