Modelling Concurrent Systems Specified by Dynamic Information Systems: A Rough Set Approach.
Krzysztof PancerzZbigniew SurajPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- concurrent systems
- information systems
- temporal logic
- dynamic environments
- rough sets
- distributed systems
- neural network
- mobile robot
- formal specification
- model checking
- data sets
- transition systems
- decision rules
- open source
- petri net
- knowledge based systems
- computer systems
- rough set theory
- multi agent systems
- case study
- database