Sciweavers

1384 search results - page 7 / 277
» Protocol Models of Human-Computer Interaction
Sort
View
CASSIS
2004
Springer
15 years 1 months ago
Mastering Test Generation from Smart Card Software Formal Models
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...