Production par auteur

Par équipe
Spécification et Vérification des Systèmes Evaluation des Performances et Qualité de Service Systèmes avec Appels Répétés et Analyse Systèmes basés composants et Analyse

Par année



Par auteur

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  


Production scientifique

Use of formal models in Computer Science Security: Modeling of dos Attack
OUROUA Nawel, IOUALALEN Malika, Avril 2013
Use of formal models in Computer Science Security: Modeling of SYN/TCP Attack and performances evaluation
OUROUA Nawel, IOUALALEN Malika, Mai 2013
Utilisation des modèles formels dans la sécurité informatique
OUROUA Nawel, IOUALALEN Malika, Mai 2012