Random Generator of k-Diagnosable Discrete Event Systems.

Yannick Pencol

Browse the full SAFEProcess paper archive.