Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code

Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code
Autori: Pironti A.; Sisto R
Autori di ateneo:
Intervallo pagine: pp. 241-250
Editore: IEEE Computer Society
ISBN: 9780769534824
Titolo del convegno: High Assurance Systems Engineering Symposium (HASE 2008)
Luogo dell'evento: Nanjing, China
Data dell'evento: 3-5 December 2008
Rilevanza dell'evento: Internazionale
Data: 2008
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave:
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: 23 Dic 2008 15:46
    Data ultima modifica (IRIS): 19 Set 2016 14:15:45
    Data inserimento (PORTO): 21 Set 2016 05:11
    Numero Identificativo (DOI): 10.1109/HASE.2008.27
    Permalink: http://porto.polito.it/id/eprint/1868524
    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 (1868524.pdf) - Postprint
    Accesso al documento: Visibile (Ad accesso aperto)
    Licenza: Pubblico - Tutti i diritti riservati.

    Download (237Kb (243333 bytes)) | Preview
    [img] PDF (hase2008_author_postprint.pdf) - Postprint
    Accesso al documento: Non visibile (accessibile solo al proprietario del dato)
    Licenza: Non pubblico - Accesso privato / Ristretto.

    Download (238Kb (244658 bytes)) | Spedisci una richiesta all'autore per una copia del documento

    Azioni (richiesto il login)

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

    Statistiche sul Download degli allegati

    Altre statistiche su questa pubblicazione...