Résultats de recherche | Portail de démonstration Syrtis

Formal verification

Oeuvres sur : Formal verification

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
Livre
Disponible
Thèse
Analyse communicationnelle globale des candidatures à un classement par l'Unesco : une lecture comparative de « La méthode géorgienne de vinification dans des kvevris traditionnels» et « Des Climats du vignoble de Bourgogne »
Mamukashvili, Nato
Livre numérique

Podcast
Thèse
L'importance du journaliste non professionnel pour la récupération et la diffusion de l'information
Bianchini, Claudia S.
Thèse
(Mémoire original d'Habilitation à diriger des recherches) La construction sociale des mythes sociotechnologiques. Cas d'étude du mythe de l'immortalité numérique
Georges, Fanny
Thèse
Algorithmes et techniques de detection des bots dans les réseaux sociaux
Kalameyets, Maksim
Thèse
Compatibilité de la composition de services Web : adaptation suite à l’évolution des protocoles métier
Eslamichalandar, Maryam
Thèse
La production scientifique des chercheurs de la faculté de médecine et de pharmacie de Casablanca : mesures, cartographie et enjeux du libre accès
Lrhoul, Hanae

Médiathèque numérique

Votre recherche ne donne aucun résultat

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 ?