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
Modélisation et vérification modulaires de lignes de produits logiciels temps réel.
CORDY, MAXIME
(Chercheur)
Heymans, Patrick
(Co-investigateur)
Schobbens, Pierre Yves
(Co-investigateur)
Research Group on the Foundations of Computer Sciences
Research Center on Information Systems Engineering
Universite de Namur
Projet
:
Projet de thèse
Aperçu
Empreinte digitale
Résultat de recherche
(6)
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
Computer Science
Adaptive Software
100%
Adaptive System
66%
Algorithm Design
33%
Algorithms
50%
Application
25%
Assurance Scenario
16%
Behavioral Analysis
100%
Booleans
100%
Classes
25%
Common Behavior
14%
Feature Interaction
25%
Intensive System
100%
model checker
25%
Model Checking
25%
Model Checking Problem
14%
modeling language
50%
Models
100%
Numeric Attribute
20%
Processing Unit
20%
Quality Assurance Technique
41%
Real World
25%
Reasoning
25%
Reconfiguration
100%
Research Direction
25%
Software
25%
Software Product Line
100%
Technology Driven
16%
Transition System
100%
Transitions
25%
Unified Framework
16%
User
25%
Validation
75%
Variability Model
16%
Vending Machine
16%