Aller au contenu principal
Accueil
Résultats de recherche
Résultats de recherche
Oeuvres sur : Vérification formelle
Vérification formelle
Oeuvres sur : Vérification formelle
Thèse
Méthodes et modèles pour la vérification formelle de l'attestation à distance sur microprocesseur
Certes, Jonathan
Thèse
Développement rigoureux des architectures sécurisées dans les visions négative et positive : propriétés, modèles, analyse et outils support
Rouland, Quentin
Thèse
Introduction de critères ergonomiques dans un système de génération automatique d'interface de supervision
Rechard, Julien
Médiathèque numérique
Votre recherche ne donne aucun résultat
FAQ
Liens FAQ
Quels documents sont nécessaires pour s'inscrire ou se réinscrire à la bibliothèque ?
Combien de documents puis-je emprunter ? Combien de temps ? Et comment les prolonger ?
Les horaires d'ouverture changent-ils pendant les vacances scolaires ?
Combien de temps faut-il arriver avant le début d'une animation ?