An approach to refinement checking of SysML requirements / Makartetskiy D.; Sisto R.. - 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].
Titolo: | An approach to refinement checking of SysML requirements | |
Autori: | ||
Data di pubblicazione: | 2011 | |
ISBN: | 9781457700170 | |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
2460420-mod.pdf | 2. Post-print / Author's Accepted Manuscript | PUBBLICO - Tutti i diritti riservati | Visibile a tuttiVisualizza/Apri |
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11583/2460420
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.