Automatic generation of formal models for diagnosability of DES.

Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini

Browse the full ETFA paper archive.