Login / Signup

Developing GUI Applications in a Verified Setting.

Stephan AdelsbergerAnton SetzerEric Walkingshaw
Published in: SETTA (2018)
Keyphrases
  • user interface
  • user friendly
  • medical images
  • graphical user interface
  • graphical user interfaces
  • database
  • genetic algorithm
  • decision making
  • cooperative
  • preprocessing
  • lower bound
  • information technology