Sign in

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

Bence GraicsVince MolnárIstvá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