S. Bloch

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Anoosh Hosseini, Ashish Parikh, H. T. Chin, Pascal Urard, Emil F. Girczyc, S. Bloch
Building a standard ESL design and verification methodology: is it just a dream? DAC (2006)
Sébastien Salva, Hacène Fouchal, S. Bloch
Metrics for Timed Systems Testing. OPODIS (2000)