Le moteur de recherche
des thèses françaises
Claude Jard
IdRefMots clés
FR |
EN
Systèmes à paramètres répartis
Petri, Réseaux de
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
Traces, Théorie des
Systèmes de télécommunications
Informatique en nuage
Informatique dans les nuages
Programmation par contraintes
Vérification
Spécifications modales
Réseaux Workflows