Sciweavers

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