Export: Interval-based resource usage verification: Formalization and prototype
López García, Pedro and Darmawan, Luthfi and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (2011). Interval-based resource usage verification: Formalization and prototype. In: "Second International Workshop, FOPARA 2011", May 19, 2011, Madrid, Spain. ISBN 9783642324949.
Please select an output format:
