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

Blockchain Survey for Security and Privacy in the e-Health ..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,
Boughdiri, Maher ; Abdellatif, Takoua ; Abdellatif, Tesnim - p. 69-84 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Rigorous implementation of real-time systems – from theory ..:

ABDELLATIF, TESNIM ; COMBAZ, JACQUES ; SIFAKIS, JOSEPH
Mathematical Structures in Computer Science.  23 (2013)  4 - p. 882-914 , 2013
Link: https://doi.org/10.1017/..
 
?
3

Rigorous design of robot software: A formal component-based..:

Abdellatif, Tesnim ; Bensalem, Saddek ; Combaz, Jacques..
Robotics and Autonomous Systems.  60 (2012)  12 - p. 1563-1578 , 2012
Link: https://doi.org/10.1016/..
 
?
4

Model-based implementation of real-time applications:

, In: Proceedings of the tenth ACM international conference on Embedded software,
Abdellatif, Tesnim ; Combaz, Jacques ; Sifakis, Joseph - p. 229-238 , 2010
Link: https://dl.acm.org/doi/1..
 
?
5

Modélisation de la disponibilité d'un système énergétique d..:

Deleuze, Gilles ; Abdellatif, Tesnim ; Brînzei, Nicolae...
hal-03483496.  , 2020
Link: https://hal.archives-ouv..
 
?
6

Modélisation de la disponibilité d'un système énergétique d..:

Deleuze, Gilles ; Abdellatif, Tesnim ; Brînzei, Nicolae...
hal-03483496.  , 2020
Link: https://hal.science/hal-..
 
?
7

A formal approach for reliability assessment of electrical ..:

Fontaine, Déborah ; Bozga, Marius ; Abdellatif, Tesnim.
hal-03483357.  , 2020
Link: https://hal.archives-ouv..
 
?
8

Modélisation de la disponibilité d'un système énergétique d..:

Deleuze, Gilles ; Abdellatif, Tesnim ; Brînzei, Nicolae...
hal-03483496.  , 2020
Link: https://hal.science/hal-..
 
?
9

A formal approach for reliability assessment of electrical ..:

Fontaine, Déborah ; Bozga, Marius ; Abdellatif, Tesnim.
hal-03483357.  , 2020
Link: https://hal.science/hal-..
 
?
10

A formal approach for reliability assessment of electrical ..:

Fontaine, Déborah ; Bozga, Marius ; Abdellatif, Tesnim.
hal-03483357.  , 2020
Link: https://hal.science/hal-..
 
?
11

Formal verification of smart contracts based on users and b..:

Abdellatif, Tesnim ; Brousmiche, Kei-Léo
hal-01760787.  , 2018
Link: https://hal.science/hal-..
 
?
12

Formal verification of smart contracts based on users and b..:

Abdellatif, Tesnim ; Brousmiche, Kei-Léo
hal-01760787.  , 2018
Link: https://hal.archives-ouv..
 
?
13

Rigorous design of robot software: A formal component-based..:

Abdellatif, Tesnim ; Bensalem, Saddek ; Combaz, Jacques..
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.robot.2012.09.005.  , 2012
Link: https://hal.laas.fr/hal-..
 
?
14

Rigorous design of robot software: A formal component-based..:

Abdellatif, Tesnim ; Bensalem, Saddek ; Combaz, Jacques..
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.robot.2012.09.005.  , 2012
Link: https://laas.hal.science..
 
?
15

Implémentation rigoureuse des systèmes temps-réels ; Rigoro..:

Abdellatif, Tesnim
http://www.theses.fr/2012GRENM037/document.  , 2012
Link: http://www.theses.fr/201..
 
1-15