Component-based specification, design and verification of adaptive systems.

Bence Graics Vince Molnár István Majzik

Published in: Syst. Eng. (2023)

Keyphrases

adaptive systems
formal verification
information retrieval
high level
user interface
conceptual model
formal methods
computer vision
case study
image retrieval
low cost
domain specific