Archivio Istituzionale della RicercaAn 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].
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 |
|
An_approach_to_refinement_checking_of_SysML_requirements.pdf
accesso riservato
Tipologia:
2a Post-print versione editoriale / Version of Record
Licenza:
Non Pubblico - Accesso privato/ristretto
Dimensione
390.07 kB
Formato
Adobe PDF
|
390.07 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
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