IA News
Tech
Media / Adtech
Start-up
Cybersécurité
Robotique
Cloud
Economie
IA News
Tech
Media / Adtech
Start-up
Cybersécurité
Robotique
Cloud
Economie
Adtech
Big data
Carrière
Fintech
Industrie
e-RH
IoT
Martech
Patrimoine
Quantique
Retail
SEO
Smart city
Web3
Magazine
Livres blancs
Guide de l'entreprise digitale
Guide de l'immobilier
Guide de l'intelligence artificielle
Guide des impôts
Guide des salaires
Guide du management
Guide des finances personnelles
Budget des villes
Prix immobiliers
Dictionnaire comptable et fiscal
Dictionnaire de l'IoT
Dictionnaire du droit des affaires
Dictionnaire du marketing
Dictionnaire du webmastering
Dictionnaire économique et financier
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
Réseau
Amouche YACINE
Artur DE FREITAS RIBEIRO
Bakr SARAKBI
Etienne PRUN
Guilhem POUZANCRE
Hedia SELMI
Jean BARON
Loïc BREYNE
Pierre ROLIN
Thierry SERVAT
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