Model checking driven simulation of sat procedures / Giovanni, V., F., C., Mari, F., Melatti, I., G., M., Salvo, I., Y., Y., Tronci, E.. - (2012). (2th International Conference on Space Operations (SpaceOps 2012) Stockholm, Sweden 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.


