Silvano Dal Zilio
IdRefMots clés
FR |
EN
Petri, Réseaux de
Temps réel (informatique)
Model Checking en Parallèle
Vérification Formelle et Logiques Temporelles
Algorithme et Structure de Données concurrents
Méthode Formelle
Méthodes formelles (informatique)
Algorithmes parallèles
Calcul intensif (informatique)
Théorie des graphes
Vérification formelle
Systèmes temps réel
Langage d’exigences
Patron de spécification
Model-checking
Observateurs
Logiciels -- Vérification
SOA
Échange électronique d'information
Services Web