Secure extensible type system for efficient embedded operating system by using metatypes.

Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl

Browse the full ICPADS paper archive.