Probabilistic model checking applied to autonomous spacecraft reconfiguration / Nardone, V; Santone, A; Tipaldi, M; Glielmo, L.. - (2016). (Intervento presentato al convegno 3rd IEEE International Workshop on Metrology for Aerospace, MetroAeroSpace 2016 tenutosi a ita nel 2016).

Probabilistic model checking applied to autonomous spacecraft reconfiguration

Glielmo L.
2016

2016
Probabilistic model checking applied to autonomous spacecraft reconfiguration / Nardone, V; Santone, A; Tipaldi, M; Glielmo, L.. - (2016). (Intervento presentato al convegno 3rd IEEE International Workshop on Metrology for Aerospace, MetroAeroSpace 2016 tenutosi a ita nel 2016).
File in questo prodotto:
File Dimensione Formato  
Metrology 2016.pdf

non disponibili

Dimensione 1.08 MB
Formato Adobe PDF
1.08 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/910634
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 7
social impact