The English version of this website is provided through automatic translation.

29 Jan 2014

16:00 - 17:00

Lecture

Scientific emergencies posed by the industry : fine causality, multi-clock circuits, ECOs and formal verification

Gérard Berry

Extended time : multiple clocks, discrete and continuous time

29 Jan 2014

16:00 - 17:00