Kamel Barkaoui
Mots clés
FR |
EN
Réseaux de Petri
Optimisation
Chaînes de Markov
Réseaux d'ordinateurs
SOA
Réseaux sans fil
Temps réel (informatique)
Consommation d'énergie
Commande automatique
Interblocage
Systèmes échantillonnés
Vérification
Flux de travail
Services Web
Protocoles de routage
Chemins de fer -- Trafic -- Régulation
Routage (informatique)
Réseaux de capteurs (technologie)
Méthodes formelles (informatique)
Web sémantique