| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Tronci, Enrico; Verzino, Giovanni; Yushtein, Yuri | Model Checking Satellite Operational Procedures | 2011 | DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta, EuroSpace. |