Sciweavers

20638 search results - page 44 / 4128
» Computer Networks
Sort
View
116
Voted
DSN
2002
IEEE
15 years 9 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet