Computation of projections for the abstraction-based diagnosability verification


Schmidt K. V.

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

  • Publication Type: Conference Paper / Full Text
  • Volume: 10
  • City: Berlin
  • Country: Germany
  • Page Numbers: pp.199-204