Sylvain Soliman
IdRefMots clés
FR |
EN
Programmation par contraintes
Logique linéaire
Concurrence
Vérification
Sémantique des phases
Bioinformatique
Petri, Réseaux de
Stratégie d'exploration
Programmation synchrone
Programmation spatio-temporelle
Composition par contraintes
Treillis
Analyse combinatoire
Langages de programmation
Treillis, Théorie des
Systèmes complexes
Réseaux de régulation biologique
Modélisation hybride
Intégration des données
Simulation stochastique