Login / Signup
Efficient parallel reasoning on fuzzy goal models for run time requirements verification.
George Chatzikonstantinou
Kostas Kontogiannis
Published in:
Softw. Syst. Model. (2018)
Keyphrases
</>
fuzzy logic
alternative ways
knowledge base
formal models
parallel processing
user goals
artificial intelligence
approximate reasoning
reasoning systems
qualitative reasoning
fuzzy systems
fuzzy controller
computational models
membership functions
statistical models
model checking
hidden markov models