Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Khlif, Houda
15  Ergebnisse:
Personensuche X
?
1

Spatio-temporal Behavior in Cyber-Physical Systems from a N..:

, In: 2023 IEEE Symposium on Computers and Communications (ISCC),
Khlif, Houda ; Kacem, Hatem Hadj ; Hernandez, Saul Pomares. - p. 1358-1361 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Unraveling Spatio-Temporal Behavior in Collaborative Cyber-..:

, In: 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE),
Khlif, Houda ; Kacem, Hatem Hadj ; Avila-Cortes, Ojilvie... - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Towards Dependable Web Services in Collaborative Environmen..:

, In: 2017 5th International Conference in Software Engineering Research and Innovation (CONISOFT),
Vargas-Santiago, Mariano ; Morales-Rosales, Luis ; Pomares-Hernandez, Saul E... - p. 121-129 , 2017
Link: https://doi.org/10.1109/..
 
?
4

An efficient validation approach for quasi-synchronous chec..:

Khlif, Houda ; Hadj Kacem, Hatem ; Hernandez, Saúl E. Pomares...
Journal of Systems and Software.  122 (2016)  - p. 364-377 , 2016
Link: https://doi.org/10.1016/..
 
?
5

A Graph Transformation-Based Approach for the Validation of..:

, In: 2014 IEEE 23rd International WETICE Conference,
Khlif, Houda ; Kacem, Hatem Hadj ; Pomares Hernandez, Saul E.... - p. 80-85 , 2014
Link: https://doi.org/10.1109/..
 
?
6

An Efficient Validation Approach for Quasi-Synchronous Chec..:

Khlif, Houda ; Hadj Kacem, Hatem ; Pomares Hernández, Saúl Eduardo...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jss.2016.04.070.  , 2016
Link: https://hal.science/hal-..
 
?
7

An Efficient Validation Approach for Quasi-Synchronous Chec..:

Khlif, Houda ; Hadj Kacem, Hatem ; Pomares Hernández, Saúl Eduardo...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jss.2016.04.070.  , 2016
Link: https://hal.science/hal-..
 
?
8

An Efficient Validation Approach for Quasi-Synchronous Chec..:

Khlif, Houda ; Hadj Kacem, Hatem ; Pomares Hernández, Saúl Eduardo...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jss.2016.04.070.  , 2016
Link: https://hal.archives-ouv..
 
?
9

A Mechanism for the Causal Ordered Set Representation in La..:

Khlif, Houda ; Hadj Kacem, Hatem ; Pomares Hernández, Saúl Eduardo.
info:eu-repo/semantics/altIdentifier/doi/10.1109/WETICE.2015.20.  , 2015
Link: https://hal.science/hal-..
 
?
10

A Mechanism for the Causal Ordered Set Representation in La..:

Khlif, Houda ; Hadj Kacem, Hatem ; Pomares Hernández, Saúl Eduardo.
info:eu-repo/semantics/altIdentifier/doi/10.1109/WETICE.2015.20.  , 2015
Link: https://hal.science/hal-..
 
?
11

A Mechanism for the Causal Ordered Set Representation in La..:

Khlif, Houda ; Hadj Kacem, Hatem ; Pomares Hernández, Saúl Eduardo.
info:eu-repo/semantics/altIdentifier/doi/10.1109/WETICE.2015.20.  , 2015
Link: https://hal.archives-ouv..
 
?
12

A Graph Transformation-Based Approach for the Validation of..:

Khlif, Houda ; Hadj Kacem, Hatem ; Pomares Hernández, Saúl Eduardo...
info:eu-repo/semantics/altIdentifier/doi/10.1109/WETICE.2014.23.  , 2014
Link: https://hal.science/hal-..
 
?
13

A Graph Transformation-Based Approach for the Validation of..:

Khlif, Houda ; Hadj Kacem, Hatem ; Pomares Hernández, Saúl Eduardo...
info:eu-repo/semantics/altIdentifier/doi/10.1109/WETICE.2014.23.  , 2014
Link: https://hal.science/hal-..
 
?
14

A Graph Transformation-Based Approach for the Validation of..:

Khlif, Houda ; Hadj Kacem, Hatem ; Pomares Hernández, Saúl Eduardo...
info:eu-repo/semantics/altIdentifier/doi/10.1109/WETICE.2014.23.  , 2014
Link: https://hal.archives-ouv..
 
?
15

A Graph Transformation-based Approach for the Validation of..:

Khlif, Houda ; Hadj Kacem, Hatem ; Pomares Hernandez, Saùl E...
https://oatao.univ-toulouse.fr/15189/1/khlif_15189.pdf.  , 2014
Link: https://oatao.univ-toulo..
 
1-15