Laure Gonnord, Jean-Philippe Babau. Quantity of resource properties expression and runtime assurance for embedded systems. In El Mostapha Aboulhamid, José Luis Sevillano, editors, The 7th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2009, Rabat, Morocco, May 10-13, 2009. pages 428-435, IEEE, 2009. [doi]
Abstract is missing.