Publication Date:
2018
Short description:
Automatic generation of formal models for diagnosability of des / Nardone, R; De Tommasi, G; Mazzocca, N; Pironti, A; Vittorini, V. - (2018), pp. 43-50. [10.1109/ETFA.2018.8502565]
Iris type:
2.1 Contributo in volume (Capitolo o Saggio)
List of contributors:
Nardone, R; De Tommasi, G; Mazzocca, N; Pironti, A; Vittorini, V
Book title:
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)