An approach to refinement checking of SysML requirements

Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: An approach to refinement checking of SysML requirements
Autori: Makartetskiy D.; Sisto R.
Autori di ateneo:
Intervallo pagine: pp. 1-4
Editore: IEEE
ISBN: 9781457700170
Titolo del convegno: IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA)
Luogo dell'evento: Toulouse (France)
Data dell'evento: 5-9 Sept. 2011
Rilevanza dell'evento: Internazionale
Luogo di pubblicazione: New York
Data: 2011
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: formal methods, refinement checking, sysml
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
Area disciplinare: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Data di deposito: 08 Nov 2011 18:39
Data ultima modifica (IRIS): 13 Apr 2016 12:07:58
Data inserimento (PORTO): 15 Apr 2016 12:14
Numero Identificativo (DOI): 10.1109/ETFA.2011.6059147
Permalink: http://porto.polito.it/id/eprint/2460420
Link resolver URL: Link resolver link
Citazioni:

Il campo presenta il numero di citazioni presenti sulle banche dati Scopus e Web of Science e permette di accedere ai relativi record. Visualizza inoltre il link al record presente su Google Scholar.

Possono verificarsi discrepanze rispetto ai dati presenti sulle banche dati per i seguenti motivi:

  • Differenze tra i dati riportati su IRIS e quelli presenti nelle banche dati.
  • Il numero di citazioni riportate su PORTO viene estratto mensilmente. Il dato citazionale presente sulle singole banche dati è aggiornato in tempo reale
  • Il numero di citazioni per WoS viene calcolato sulla base delle collezioni in abbonamento (Science citation index Expanded e Conference Proceedings Citation Index)

Per informazioni o segnalazioni contattare scrivia/porto

+
-

Allegati

[img]
Preview
PDF (2460420_mod.pdf) - Postprint
Accesso al documento: Visibile (Ad accesso aperto)
Licenza: Pubblico - Tutti i diritti riservati.

Download (228Kb (233970 bytes)) | Preview

Azioni (richiesto il login)

Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)

Statistiche sul Download degli allegati

Altre statistiche su questa pubblicazione...