| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume  |
Pages |
|---|---|---|---|---|---|---|---|---|---|
| Mazzini, Silvia; Puri, Stefano; Mari, Federico; Melatti, Igor; Tronci, Enrico | Formal Verification at System Level | 2009 | In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace |