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

Formal methods

Oeuvres sur : Formal methods

Voir toutes les oeuvre de : Formal methods (+168)

Thèse
Progrès récents en matière d’explicabilité formelle
Huang, Xuanxiang
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
Livre numérique
Thèse
Méthodes et modèles pour la vérification formelle de l'attestation à distance sur microprocesseur
Certes, Jonathan
Thèse
Communication de crise en phase post-accidentelle nucléaire : organisation et partage des connaissances sur le Web
Segault, Antonin
Thèse
Littératie numérique : Essai de modélisation de l'appropriation des outils du numérique dans l'éducation et la formation des enfants âgés de cinq à dix ans au Burkina Faso
Nkuna Wa Nkuna, Charles

Thèse
Explorations de méthodes pour la connaissance et la caractérisation de l’expérience personnelle des visiteurs non guidés au musée : Vers le développement de nouveaux outils d’analyse
Lagasse, Marine
Livre numérique
Thèse
Cybersécurité dans le secteur de la santé : évaluation et évaluation de la préparation à la cybersécurité de la résilience des hôpitaux mobiles classés
Ahmed, Nasir-Baba
Thèse
Plateformes collaboratives et logiques processuelles dans l'évolution des formes organisationnelles : pour une conception étendue de l'information organisationnelle
Chaudet, Bruno
Livre numérique
Livre numérique

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 ?