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)
Language | English |
---|---|
Publication date | 1 Jun 2015 |
Number of pages | 73 |