author : Paul Le Guernic

Short works

• Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. 1999. (In FM'99 volume 2 )