Feedback Receivers: Specification and State-of-the-Art Review.

Navatouch Deeying Maurits Ortmanns

Published in: ISCAS (2020)

Keyphrases

high level
user feedback
specification language
active learning
formal specification
formal methods
artificial intelligence
search engine
case study
online reviews
positive feedback
assessment tool