Sciweavers

22168 search results - page 294 / 4434
» Computation in Gene Networks
Sort
View
DSN
2002
IEEE
16 years 14 days ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet