TY - CONF AU - Mazzini, Silvia AU - Puri, Stefano AU - Mari, Federico AU - Melatti, Igor AU - Tronci, Enrico PY - 2009 DA - 2009// TI - Formal Verification at System Level BT - In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace AB - System Level Analysis calls for a language comprehensible to experts with different background and yet precise enough to support meaningful analyses. SysML is emerging as an effective balance between such conflicting goals. In this paper we outline some the results obtained as for SysML based system level functional formal verification by an ESA/ESTEC study, with a collaboration among INTECS and La Sapienza University of Roma. The study focuses on SysML based system level functional requirements techniques. L1 - http://mclab.di.uniroma1.it/publications/papers/papers/Mazzini2009.pdf N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=20), last updated on Thu, 02 May 2013 12:09:32 +0200 ID - Mazzini_etal2009 ER -