Paolo Ballarini
Mots clés
FR |
EN
Analyse formelle de réseaux biologiques
Réseau de régulation génétique
Modèle discret de Thomas
Inférence de paramètres
Model-checking LTL
Voie Wnt/bêta-caténine
Modélisation stochastique
Model-checking HASL
Régulation génétique
Processus stochastiques
Méthodes formelles (informatique)
Réseaux de capteurs sans fils
Énergie
Sécurité
Déni de service
Détection d'intrusion
Modélisation
Réseaux de capteurs (technologie)
Systèmes de détection d'intrusion (informatique)
Attaques par déni de service