Skip to content
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • Positions 2025
  • Contact
    • How to get here?
  • Log In
  • Français
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • Positions 2025
  • Contact
    • How to get here?
  • Log In
  • Français

Un processus formel d’intégration de politiques de contrôle d’accès dans les systèmes d’information

December 12, 2011

Jérémy Milhau (LACL) soutenance de thèse

Pour avoir plus d’information, allez sur http://www.jeremilhau.fr/phd/

Post navigation

Un nouvel algorithme pour calculer et borner la mesure stationnaire d’une chaine de Markov et son application en verification
Sous-treillis d’associaèdres et permutoèdres

News
  • 2 postes de MCF à pourvoir au LACL
    16/01/2025

Next seminars
  • TBA
    June 23, 2025
    Jean-Marc Talbot
  • TBA
    September 22, 2025
    Carola Doerr
© 2025 LACL