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

Formal Analysis of Electronic Exams.

Jannik DreierRosario GiustolisiAli KassemPascal LafourcadeGabriele LenziniPeter Y. A. Ryan
Published in: SECRYPT (2014)
Keyphrases
  • formal analysis
  • formal methods
  • ban logic
  • agent model
  • knowledge representation
  • multiple choice
  • databases
  • mid term