Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Zaïdi, Fatiha
11  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

A Network Traffic Mutation Based Ontology, and Its Applicat..:

Salazar, Zujany ; Zaïdi, Fatiha ; Nguyen, Huu-Nghia...
IEEE Access.  11 (2023)  - p. 43925-43944 , 2023
Link: https://doi.org/10.1109/..
 
?
2

A formal consensus-based distributed monitoring approach fo..:

Alvarez Aldana, Jose Alfredo ; Maag, Stephane ; Zaidi, Fatiha
Internet of Things.  13 (2021)  - p. 100352 , 2021
Link: https://doi.org/10.1016/..
 
?
3

A Framework for the Attack Tolerance of Cloud Applications ..:

Ouffoué, Georges ; Zaïdi, Fatiha ; Cavalli, Ana R..
Electronics.  10 (2020)  1 - p. 6 , 2020
Link: https://doi.org/10.3390/..
 
?
4

Parameterized Model Checking on the TSO Weak Memory Model:

Conchon, Sylvain ; Declerck, David ; Zaïdi, Fatiha
Journal of Automated Reasoning.  64 (2020)  7 - p. 1307-1330 , 2020
Link: https://doi.org/10.1007/..
 
?
5

One step forward: Linking wireless self-organizing network ..:

Viana, Aline Carneiro ; Maag, Stephane ; Zaidi, Fatiha
ACM Computing Surveys.  43 (2011)  2 - p. 1-36 , 2011
Link: https://doi.org/10.1145/..
 
?
6

One step forward : Linking wireless self-organizing netw..:

Viana, Aline Carneiro ; Maag, Stephane ; Zaidi, Fatiha
ACM Computing Surveys (CSUR).  43 (2011)  2 - p. 1-36 , 2011
Link: https://dl.acm.org/doi/1..
 
?
7

A passive testing approach based on invariants: application..:

Bayse, Emmanuel ; Cavalli, Ana ; Núñez, Manuel.
Computer Networks.  48 (2005)  2 - p. 247-266 , 2005
Link: https://doi.org/10.1016/..
 
?
8

Une plate-forme de validation multi-protocoles et multi-ser..:

Combes, Pierre ; Monin, Wei ; Cavalli, Ana...
Annales Des Télécommunications.  60 (2005)  5-6 - p. 588-609 , 2005
Link: https://doi.org/10.1007/..
 
?
9

Application of a formal testing methodology to wireless tel..:

Cavalli, Ana ; Mederreg, Amel ; Zaidi, Fatiha
Journal of the Brazilian Computer Society.  10 (2004)  2 - p. 56-72 , 2004
Link: https://doi.org/10.1590/..
 
?
10

Application of a formal testing methodology to wireless tel..:

Cavalli, Ana ; Mederreg, Amel ; Zaidi, Fatiha
Journal of the Brazilian Computer Society.  10 (2004)  2 - p. 64-80 , 2004
Link: https://doi.org/10.1007/..
 
?
11

Measurement model for e-campus acceptance: A study in semi-..:

Halim, Nor Fatiha binti Abdul ; Anuar, Nik Nur Nabihan Nik ; Razak, Fahmi Zaidi Abdul
Journal of Physics: Conference Series.  1793 (2021)  1 - p. 012018 , 2021
Link: https://doi.org/10.1088/..
 
1-11