Lahbib, Asma
21  Ergebnisse:
Personensuche X
?
2

An Event-B Based Approach for Formal Modelling and Verifica..:

, In: Advanced Information Networking and Applications; Advances in Intelligent Systems and Computing,
Lahbib, Asma ; Ait Wakrime, Abderrahim ; Laouiti, Anis.. - p. 1303-1318 , 2020
 
?
3

DRMF: A Distributed Resource Management Framework for Indus..:

, In: 2019 IEEE 18th International Symposium on Network Computing and Applications (NCA),
 
?
 
?
7

An Event-B based approach for formal modelling and verifica..:

Lahbib, Asma ; Ait Wakrime, Abderrahim ; Laouiti, Anis..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-44041-1_111.  , 2020
 
?
8

An Event-B based approach for formal modelling and verifica..:

Lahbib, Asma ; Ait Wakrime, Abderrahim ; Laouiti, Anis..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-44041-1_111.  , 2020
 
?
9

An Event-B based approach for formal modelling and verifica..:

Lahbib, Asma ; Ait Wakrime, Abderrahim ; Laouiti, Anis..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-44041-1_111.  , 2020
 
?
10

DRMF: a Distributed Resource Management Framework for indus..:

Lahbib, Asma ; Toumi, Khalifa ; Laouiti, Anis.
info:eu-repo/semantics/altIdentifier/doi/10.1109/NCA.2019.8935019.  , 2019
 
?
11

DRMF: a Distributed Resource Management Framework for indus..:

Lahbib, Asma ; Toumi, Khalifa ; Laouiti, Anis.
info:eu-repo/semantics/altIdentifier/doi/10.1109/NCA.2019.8935019.  , 2019
 
?
12

DRMF: a Distributed Resource Management Framework for indus..:

Lahbib, Asma ; Toumi, Khalifa ; Laouiti, Anis.
info:eu-repo/semantics/altIdentifier/doi/10.1109/NCA.2019.8935019.  , 2019
 
?
13

History of smallpox vaccination and marked clinical express..:

Krug, Catarina ; Chazelle, Emilie ; Tarantola, Arnaud...
Clinical Microbiology and Infection.  30 (2024)  8 - p. 1061-1066 , 2024
 
1-15