Computation of projections for the abstraction-based diagnosability verification | AVESİS

Middle East Technical University Research Information System

Computation of projections for the abstraction-based diagnosability verification

Copy For Citation

10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, 30 August - 01 September 2010, vol.10, pp.199-204

Publication Type: Conference Paper / Full Text
Volume: 10
City: Berlin
Country: Germany
Page Numbers: pp.199-204
Middle East Technical University Affiliated: No