Safety validation of automation systems: Application for teaching of discrete event system control.

Pascale Marange, Franois Gellot, Bernard Riera

Browse the full ICINCO paper archive.