Kamel Barkaoui
Mots clés
FR |
EN
Petri, Réseaux de
Réseaux de Petri
Optimisation
Chaînes de Markov
Réseaux d'ordinateurs
SOA
Réseaux sans fil
Temps réel (informatique)
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