• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Demo: a design studio for verification tools.

Tamás KecskésPatrik MeijerTaylor T. JohnsonMarcus Lucas
Published in: DESTION@CPSIoTWeek (2019)
Keyphrases
  • formal methods
  • data sets
  • end users
  • decision support
  • software tools
  • design studio
  • artificial intelligence
  • case study
  • face recognition
  • user interface
  • model checking
  • user friendly