Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems.
Luis M. AlonsoRicardo PenaPublished in: PARLE (2) (1991)
Keyphrases
- complex systems
- computer systems
- neural network
- theoretical framework
- main contribution
- intelligent systems
- state space
- genetic algorithm
- probabilistic model
- management system
- distributed systems
- expert systems
- video sequences
- knowledge based systems
- lightweight
- constraint satisfaction problems
- data mining
- data sets
- qualitative and quantitative
- conceptual framework