Interval-based resource usage verification: Formalization and prototype
- Lopez-Garcia, P.
- Darmawan, L.
- Bueno, F.
- Hermenegildo, M.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642324949
Datum der Publikation: 2012
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Revised Selected Papers
Ausgabe: 7177 LNCS
Seiten: 54-71
Art: Konferenz-Beitrag