Moddelering af Java Card Applikationer Med Beskyttelsesmetoder I UPPAAL
Studenteropgave: Kandidatspeciale og HD afgangsprojekt
- Anders Kaastrup Vinther
- Jakob Jørgensen
4. semester, Software, Kandidat (Kandidatuddannelse)
| Sprog | Engelsk |
|---|---|
| Udgivelsesdato | 1 jun. 2015 |
| Antal sider | 73 |
| Emneord | UPPAAL, Smart Card, Java Card, Bitflip, Control-flow, Single-event Upsets |
|---|