The vast majority of current available verification environments have been built by sticking to traditional architectural style centralized and without dealing with interoperability and dynamic recongurability. In this paper we present a verification toolkit whose design and implementation exploit the Web service architectural paradigm.
Verification on the web of mobile systems
Gnesi S;Trentanni G;
2004
Abstract
The vast majority of current available verification environments have been built by sticking to traditional architectural style centralized and without dealing with interoperability and dynamic recongurability. In this paper we present a verification toolkit whose design and implementation exploit the Web service architectural paradigm.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_91125-doc_125247.pdf
solo utenti autorizzati
Descrizione: Verification on the web of mobile systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
74.87 kB
Formato
Adobe PDF
|
74.87 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
