Login / Signup

A Case in Point: Verification and Testing of a EULYNX Interface.

Mark BouwmanDjurre van der WalBas LuttikMariëlle StoelingaArend Rensink
Published in: Formal Aspects Comput. (2023)
Keyphrases
  • formal verification
  • user interface
  • user friendly
  • model checking
  • data mining
  • search engine
  • human computer interaction
  • face verification
  • test generation
  • concurrent systems