Sciweavers

3330 search results - page 70 / 666
» software 2010
Sort
View
SRDS
2010
IEEE
13 years 7 months ago
Experimental Validation of a Synchronization Uncertainty-Aware Software Clock
Andrea Bondavalli, Francesco Brancati, Andrea Cecc...
ECEASST
2010
13 years 6 months ago
A Deductive Verification Platform for Cryptographic Software
Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe...