Model checking driven simulation of sat procedures / Giovanni, Verzino; F., Cavaliere; Mari, Federico; Melatti, Igor; G., Minei; Salvo, Ivano; Y., Yushtein; Tronci, Enrico. - (2012). (Intervento presentato al convegno 2th International Conference on Space Operations (SpaceOps 2012) tenutosi a Stockholm, Sweden nel 11-15 June 2012) [10.2514/6.2012-1275611].

Model checking driven simulation of sat procedures

MARI, FEDERICO;MELATTI, IGOR;SALVO, Ivano;TRONCI, Enrico
2012

2012
2th International Conference on Space Operations (SpaceOps 2012)
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Model checking driven simulation of sat procedures / Giovanni, Verzino; F., Cavaliere; Mari, Federico; Melatti, Igor; G., Minei; Salvo, Ivano; Y., Yushtein; Tronci, Enrico. - (2012). (Intervento presentato al convegno 2th International Conference on Space Operations (SpaceOps 2012) tenutosi a Stockholm, Sweden nel 11-15 June 2012) [10.2514/6.2012-1275611].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

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/11573/535827
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? ND
social impact