Travelled to:1 × Canada
Collaborated with:J.d.Ruiter
Talks about:smart (2) protocol (1) analys (1) logic (1) tool (1) test (1) card (1)
Person: Gerhard de Koning Gans
DBLP: Gans:Gerhard_de_Koning
Contributed to:
2012Wrote 1 papers:
- ICST-2012-GansR #protocol #smarttech #testing
- The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.