Le moteur de recherche
des thèses françaises
Claude Jard
IdRefMots clés
FR |
EN
Systèmes à paramètres répartis
Réseaux de Petri
Logiciels -- Vérification
Qualité de Service (télécommunications)
Services Web
Génie logiciel
Algorithmes
Temps réel (informatique)
Cohérence (informatique)
Sémantique opérationnelle
Traitement réparti
Web sémantique
Théorie des traces
Systèmes de télécommunications
Informatique en nuage
Informatique dans les nuages
Programmation par contraintes
Vérification
Spécifications modales
Réseaux Workflows