IRIS

From Informal Requirements to Property-Driven Formal Validation / Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano. - 5596:(2008), pp. 166-181. (Intervento presentato al convegno FMICS 2008 tenutosi a L’Aquila, Italy nel 15/09/2008 - 16/09/2008) [10.1007/978-3-642-03240-0_15].

From Informal Requirements to Property-Driven Formal Validation

Alessandro Cimatti;Marco Roveri;Angelo Susi;Stefano Tonetta
2008-01-01
2008
Proceedings of 13th Int. Workshop on Formal Methods for Industrial Critical Systems
L'Aquila, Italia
Springer Verlag
9783642032394
2-s2.0-70349132300
WOS:000270704100011
Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
From Informal Requirements to Property-Driven Formal Validation / Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano. - 5596:(2008), pp. 166-181. (Intervento presentato al convegno FMICS 2008 tenutosi a L’Aquila, Italy nel 15/09/2008 - 16/09/2008) [10.1007/978-3-642-03240-0_15].
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/258850
 Attenzione

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

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