An approach to refinement checking of SysML requirements / Makartetskiy, Denis; Sisto, Riccardo. - STAMPA. - (2011), pp. 1-4. ((Intervento presentato al convegno IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA) tenutosi a Toulouse (France) nel 5-9 Sept. 2011 [10.1109/ETFA.2011.6059147].

An approach to refinement checking of SysML requirements

MAKARTETSKIY, DENIS;SISTO, Riccardo
2011

9781457700170
File in questo prodotto:
File Dimensione Formato  
2460420-mod.pdf

accesso aperto

Tipologia: 2. Post-print / Author's Accepted Manuscript
Licenza: PUBBLICO - Tutti i diritti riservati
Dimensione 228.49 kB
Formato Adobe PDF
228.49 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

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/11583/2460420
 Attenzione

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