IRIS

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
2010
Proceedings of the Workshop on Formal Methods for Aerospace
indhoven, The Netherlands
EPTCS
2-s2.0-84973644086
Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
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].
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/258767
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact