@InProceedings{Mazzini_etal2009,
author="Mazzini, Silvia
and Puri, Stefano
and Mari, Federico
and Melatti, Igor
and Tronci, Enrico",
title="Formal Verification at System Level",
booktitle="In: DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. Instanbul, Turkey, EuroSpace",
year="2009",
abstract="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.",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=20), last updated on Thu, 02 May 2013 12:09:32 +0200",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Mazzini2009.pdf:PDF"
}