Emma: Developing an Industrial Reachability Analyser for SDL.
Nisse HusbergTapio MannerPublished in: World Congress on Formal Methods (1999)
Keyphrases
- industrial applications
- genetic algorithm
- transitive closure
- control system
- neural network
- industrial environment
- technology transfer
- data sets
- trade off
- user interface
- evolutionary algorithm
- reinforcement learning
- medical images
- feature extraction
- computer vision
- application of data mining
- real world
- industrial processes