1
Academic Journal
Authors: Brim, L., Chaloupka, J., Doyen, L., Gentilini, R., Raskin, J.
Superior Title: Formal Methods in System Design; Apr2011, Vol. 38 Issue 2, p97-118, 22p, 1 Chart, 1 Graph
Subject Terms: EMBEDDED computer systems, ALGORITHMS, MATHEMATICAL models, VIDEO games, POLYNOMIALS, APPLICATION software