Utilisation de SMV pour la vérification de propriétés d'IHM multimodales.
Nadjet KamelPublished in: IHM (2004)
Keyphrases
- image segmentation
- fuzzy model
- fuzzy systems
- model checking
- multiscale
- symbolic model checking
- fuzzy classifier
- formal verification
- takagi sugeno
- fuzzy rules
- nonlinear systems
- input output
- neural network
- fuzzy controller
- fuzzy control
- mathematical model
- chaotic systems
- computational intelligence
- pattern recognition
- objective function
- genetic algorithm