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

by I SMARANDACHE, T GAUTIER, P LE GUERNIC
Venue:in "FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems