Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.
Negar MajmaSeyed Morteza BabamirAmirhassan MonadjemiPublished in: J. Medical Syst. (2017)
Keyphrases
- colored petri nets
- petri net
- fuzzy sets
- web services
- fuzzy logic
- membership functions
- fuzzy membership functions
- fuzzy clustering
- fuzzy numbers
- neural network
- fuzzy reasoning
- hierarchical clustering
- fuzzy controller
- fuzzy neural network
- goal programming
- database
- hierarchical structure
- fuzzy rules
- model checking
- rough sets
- fuzzy systems
- fuzzy measures
- search engine
- formal verification
- data mining
- runtime environment