Sciweavers

20813 search results - page 102 / 4163
» Introduction to Computer Networking
Sort
View
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