Patterns for Timed Property Specifications.
Volker GruhnRalf LauePublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- information retrieval
- interesting patterns
- design patterns
- high level
- pattern discovery
- desirable properties
- pattern analysis
- complex patterns
- website
- search engine
- expert systems
- data mining techniques
- sequential patterns
- artificial intelligence
- dynamic systems
- database
- formal specification
- previously unknown
- discrete event