loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Gianluigi Ferrari 1 ; Stefania Gnesi 2 ; Ugo Montanari 1 ; Roberto Raggi 1 ; Gianluca Trentanni 2 and Emilio Tuosto 1

Affiliations: 1 Università di Pisa, Italy ; 2 ISTI-CNR, Italy

ISBN: 972-8865-03-1

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 reconfigurability. In this paper we present a verification toolkit whose design and implementation exploit the Web service architectural paradigm.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.85.162.213

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ferrari G.; Gnesi S.; Montanari U.; Raggi R.; Trentanni G.; Tuosto E. and (2004). Verification On The Web Of Mobile Systems.In Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004) ISBN 972-8865-03-1, pages 72-74. DOI: 10.5220/0002660300720074

@conference{vveis04,
author={Gianluigi Ferrari and Stefania Gnesi and Ugo Montanari and Roberto Raggi and Gianluca Trentanni and Emilio Tuosto},
title={Verification On The Web Of Mobile Systems},
booktitle={Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)},
year={2004},
pages={72-74},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002660300720074},
isbn={972-8865-03-1},
}

TY - CONF

JO - Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)
TI - Verification On The Web Of Mobile Systems
SN - 972-8865-03-1
AU - Ferrari, G.
AU - Gnesi, S.
AU - Montanari, U.
AU - Raggi, R.
AU - Trentanni, G.
AU - Tuosto, E.
PY - 2004
SP - 72
EP - 74
DO - 10.5220/0002660300720074

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.