Retail
Media
Fintech
IOT
Smart city
E-rh
Décideurs
SEO
Cloud
Big data
Retail
Media
Fintech
IOT
Smart city
E-rh
Décideurs
SEO
Cloud
Big data
Adtech
e-Santé
Foodtech
Management
Martech
Patrimoine
Publishers
Transport intelligent
Webtech
S'inscrire
Se connecter
Rechercher
Menu
Connexion
Amel MAMMAR
Ajouter
Amel MAMMAR
Cergy
Profil
Réseau
En résumé
Mes compétences :
Méthodes formelles
Preuve
Méthode B/Event-B
Entreprises
Thales Training & Simulation
- Experte sur les activités de preuve formelle
Cergy
2007 - 2012
Telecom SudParis
- Maitre de conférences
2007 - maintenant
Clearsy
- Ingénieur sénior
Paris, Aix en Pce et Lyon
2006 - 2007
Preuve formelle de la signalisation Métro (PMI)
Formations
Pas de formation renseignée
Réseau
Artur DE FREITAS RIBEIRO
Bakr SARAKBI
Frederic GERVAIS
Gérard PRIEUR
Guilhem POUZANCRE
Hedia SELMI
Jean BARON
J. Paul GIBSON
Mostafa EL OUADEH
Pengfei LIU
Annuaire des membres :
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