Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.

Irina M. Smarandache, Thierry Gautier, Paul Le Guernic

Browse the full FM paper archive.