Lecture Notes in Computer Sience, vol. 4916
An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications / M. H. TER BEEK; A. FANTECHI; S. GNESI; AND F. MAZZANTI. - STAMPA. - 4916:(2007), pp. 135-147. (Intervento presentato al convegno FMICS 2007 tenutosi a Berlin nel July 2007).
An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications
FANTECHI, ALESSANDRO;
2007
Abstract
Lecture Notes in Computer Sience, vol. 4916
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FMICS07.pdf
accesso aperto
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Open Access
Dimensione
364.38 kB
Formato
Adobe PDF
|
364.38 kB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
