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
Amine MATOUGUI
Bakr SARAKBI
Fatiha LEBBIHI-DELPLANQUE
Fatima DJOUBAR
Frederic GERVAIS
Gérard PRIEUR
Guilhem POUZANCRE
Pengfei LIU
Sébastien ROCHER
Walid BEN SALEM
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