Le moteur de recherche
des thèses françaises
Marieke Huisman
IdRefMots clés
FR |
EN
Concurrence
SDL (langage de programmation)
Logiciels -- Vérification
Programmation orientée objets (informatique)
Programmation parallèle (informatique)
Java (langage de programmation)
Programmes Java
Java Card
Model checking
Méthodes formelles
Evaluation symbolique
Opérateurs de CTL
JML [Java modeling language]
Coq
Glaneur de cellule
Rely-Guarantee
Algorithmes
Compilation (informatique)
Débogage
Sémantique