Gilles Grimaud, yann Hodique, Isabelle Simplot-Ryl. Secure extensible type system for efficient embedded operating system by using metatypes.
Sanso 2005: First International Workshop on System and Networking for Smart Objects (SaNSO 2005), in Proc. 11th International Conference on Parallel and Distributed Systems, 2005, Fukuoka, Japan. pp.83--87.
⟨inria-00546601⟩