Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints (1999)

Cached

Download Links

by Irina M. Smarandache , Thierry Gautier , Paul Le Guernic
Venue:In World Congress on Formal Methods (2
Citations:6 - 0 self