Modelling Java Card Applications With Defensive Measures In UPPAAL

Student thesis: Master thesis (including HD thesis)

  • Anders Kaastrup Vinther
  • Jakob Jørgensen
4. term, Software, Master (Master Programme)
LanguageEnglish
Publication date1 Jun 2015
Number of pages73
ID: 213413921