Carsten Rütz

Publication Activity (10 Years)

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

Publications

Carsten Rütz, Julien Schmaltz
An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON. ICST Workshops (2011)