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 |