J. Roussel

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Houda Bel Mokadem, Béatrice Bérard, V. Gourcuff, O. De Smet, J. Roussel
Verification of a Timed Multitask System With Uppaal. IEEE Trans Autom. Sci. Eng. 7 (4) (2010)