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
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.