Sciweavers

1616 search results - page 4 / 324
» networks 2002
Sort
View
DSN
2002
IEEE
13 years 10 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet