Passer à la navigation principale
Passer à la recherche
Passer au contenu principal
Portail de la recherche de l'Université de Namur Accueil
English
Français
Accueil
Profils
Unités de recherche
Projets
Résultat de recherche
Thèses de l'étudiant
Équipement
Ensembles de données
Prix
Activités
Presse/médias
Recherche par expertise, nom ou affiliation
Théorie et Pratique des Automates et des Logiques
Schobbens, Pierre Yves
(Responsable du Projet)
CORDY, MAXIME
(Chercheur)
KANG, Eun-Young
(Chercheur)
Ortiz Vega, James Jerson
(Chercheur)
Research Group on the Foundations of Computer Sciences
Research Center on Information Systems Engineering
Universite de Namur
Projet
:
Recherche
Aperçu
Empreinte digitale
Résultat de recherche
(2)
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.
Trier par
Pondération
Par ordre alphabétique
INIS
computer codes
100%
environment
50%
adaptive systems
50%
modeling
30%
design
25%
algorithms
25%
failures
25%
constraints
25%
cost
25%
dynamics
25%
verification
11%
mathematical models
5%
solutions
5%
range
5%
tools
5%
Keyphrases
Environment-Adaptive Software
50%
Verifier
50%
Adaptive Systems
25%
Dynamic Features
12%
Failure Mode
12%
Highly Dynamic
12%
Exponential Blow up
7%
Model Checking Techniques
7%
Efficient Software
7%
Computer Science
Software Product Line
50%
Reconfiguration
50%
Common Behavior
7%
Model Checking Problem
7%
Software Product
7%
Model Checking
7%
Checking Technique
7%
Transition System
7%
Formal Verification
7%