Le moteur de recherche
des thèses françaises
Jean-Paul Bahsoun
IdRefMots clés
FR
Logique temporelle
Méthodes formelles (informatique)
Architecture
Synchronisation
Traitement réparti
Indexation multimédia
Programmation orientée objet concurrent
Réutilisation
Vérification par preuves
Vérification par modèles ou model-checking
Méthode des tableaux
Programmation orientée objets (informatique)
Logiciels -- Vérification
Théorie de la démonstration
Modélisation
Composants
Administration autonome
Grille
Composants logiciels
Informatique mobile