Formal Verification of a Security Model for a Clinical Information System with Alloy / Tabchiche Bilel 

Public ISBD Titre : Formal Verification of a Security Model for a Clinical Information System with Alloy Type de document : document électronique Auteurs : Tabchiche Bilel, Auteur ; Rouabah Mohamed El Amine, Auteur Editeur : Université de Relizane Faculté des Sciences et Technologie Département Informatique Année de publication : 2024-2025 Langues : Français (fre) Catégories : Mémoire de Master informatique / Réseaux Informatiques Formal Verification of a Security Model for a Clinical Information System with Alloy [document électronique] / Tabchiche Bilel, Auteur ; Rouabah Mohamed El Amine, Auteur . - Université de Relizane Faculté des Sciences et Technologie Département Informatique, 2024-2025. Langues : Français (fre) Catégories : Mémoire de Master informatique / Réseaux Informatiques

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INFO.R/25/09	INFO.R/25/09	Cédéroms	Bibliothèque FST	Documentaires	Disponible

Documents numériques

Master_s_thesis_,_Department_of_Computer_Science,_University_of_Relizane.pdf Adobe Acrobat PDF

---

1 (1 - 1 / 1) Par page : 25 50 100 200