Skip to Main Content (Press Enter)

Logo UNIRC
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Attività
  • Competenze

UNI-FIND
Logo UNIRC

|

UNI-FIND

unirc.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Attività
  • Competenze
  1. Corsi

Automatic generation of formal models for diagnosability of des

Capitolo di libro
Data di Pubblicazione:
2018
Citazione:
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]
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Elenco autori:
Nardone, R; De Tommasi, G; Mazzocca, N; Pironti, A; Vittorini, V
Link alla scheda completa:
https://iris.unirc.it/handle/20.500.12318/47256
Titolo del libro:
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.1.0