Sciweavers

25908 search results - page 332 / 5182
» Predictable Network Computing
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