Intelligent Concurrent Systems.
Faisal AkkawiAtef BaderTzilla ElradPublished in: Applied Informatics (2003)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- model checking
- transition systems
- petri net
- formal specification
- intelligent systems
- decision support
- expert systems
- case study
- knowledge acquisition
- evolutionary algorithm
- production system
- agent technology
- formal methods
- adaptive systems
- decision trees
- information retrieval