Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G., Tuosto E.
Formal verification Mobile systems
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.
Source: VVEIS 2004 - 2nd International Workshop on Verification and Validation of Enterprise Information Systems, pp. 72–74, Porto, Portugal, 14-17 April 2004
Publisher: SciTePress, Lisbona, PRT
@inproceedings{oai:it.cnr:prodotti:91125, title = {Verification on the web of mobile systems}, author = {Ferrari G. and Gnesi S. and Montanari U. and Raggi R. and Trentanni G. and Tuosto E.}, publisher = {SciTePress, Lisbona, PRT}, doi = {10.5220/0002660300720074}, booktitle = {VVEIS 2004 - 2nd International Workshop on Verification and Validation of Enterprise Information Systems, pp. 72–74, Porto, Portugal, 14-17 April 2004}, year = {2004} }