Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti 0002, Valeria Vittorini. Automatic generation of formal models for diagnosability of DES. In 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018, Torino, Italy, September 4-7, 2018. pages 43-48, IEEE, 2018. [doi]
Abstract is missing.