Isabelle Attali
IdRefMots clés
FR
Systèmes à paramètres répartis
Systèmes informatiques -- Mesures de sûreté
Java (langage de programmation)
Circuits asynchrones
Méthodes formelles (informatique)
Langages de programmation orientés objet
Logiciels -- Vérification
Composants électroniques
Langages de programmation
Langages de programmation -- Sémantique
Programmation (informatique)
XML (langage de balisage)
Grilles informatiques