Le temps élargi : horloges multiples, temps discrets et temps continu

Urgences scientifiques posées par l'industrie : causalité fine, circuits multi-horloges, ECOs et vérification formelle

Ce cours a été donné à l'INRIA Sophia-Antipolis