Diagnostic, opacité et test de conformité pour des systèmes récursifs. (Diagnosis, opacity and conformance testing for recursive tile systems)

Sébastien Chédor. Diagnostic, opacité et test de conformité pour des systèmes récursifs. (Diagnosis, opacity and conformance testing for recursive tile systems). PhD thesis, University of Rennes 1, France, 2014. [doi]

Abstract

Abstract is missing.