Formalization and Validation of Safety-Critical Requirements / Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano. - 20:(2010), pp. 68-75. (Intervento presentato al convegno FMA'09 - 16th Int. Symposium on Formal Methods FM'09 tenutosi a Eindhoven, The Netherlands nel 03/11/2009) [10.4204/EPTCS.20.7].
Formalization and Validation of Safety-Critical Requirements
Alessandro Cimatti;Marco Roveri;Angelo Susi;Stefano Tonetta
2010-01-01
File in 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