Mes compétences :
Architectures ARM
Visual Basic
Modélisation de processeur
Validation de propriétés métier temps-réel
Objective CAML
Linux
Java 2 Enterprise Edition
Java
Eclipse
CSP- programmation par contraintes
C++
C Programming Language