System Specification Experiments on a Common Benchmark.
Giulio GorlaEduard MoserWolfgang NebelEugenio VillarPublished in: IEEE Des. Test Comput. (2000)
Keyphrases
- real world
- specification language
- high level
- genetic algorithm
- formal verification
- image processing
- comparative analysis
- information systems
- operational semantics
- multimedia
- machine learning
- user defined
- expert systems
- reactive systems
- data mining
- formal specification
- quantitative evaluation
- special case
- multiscale
- real time
- knowledge base
- feature selection
- information retrieval