BACK TO INDEX

Miscellaneous

2005

  1. G. Le Guernic. Roles & Security, October 2005. Note: Dagstuhl Seminar 03411: Language-Based Security. [WWW] [bibtex-entry]


1999

  1. E. Denney, P. Fradet, C. Goire, T. Jensen, and D. Le Métayer. Procédé de vérification de transformateurs de codes pour un système embarqué, notamment sur une carte à puce, juillet 1999. Note: Brevet d'invention. [bibtex-entry]



BACK TO INDEX

This document was translated from BibTEX by bibtex2html