Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. Secure extensible type system for efficient embedded operating system by using metatypes. In 11th International Conference on Parallel and Distributed Systems (ICPADS 2005), 20-22 July 2005, Fuduoka, Japan, 2 Volumes. pages 83-87, IEEE Computer Society, 2005. [doi]
Abstract is missing.