Impacto
Downloads
Downloads per month over past year
Cavalli, Ana R. and Higashino, Teruo and Núñez García, Manuel (2015) Special issue on formal active and passive testing of distributed and networked systems. annals of telecommunications - annales des télécommunications, 70 (3). pp. 83-84. ISSN 0003-4347
Preview |
PDF
44kB |
Official URL: http://link.springer.com/article/10.1007/s12243-015-0459-6
Abstract
The target of the special issue was to receive submissions contributing to the hot topics on formal approaches for active and passive testing of distributed and networked systems. With this aim and after a careful selection, four papers have being chosen to be published in this special issue. In addition, the special issue includes a survey on active and passive testing as well as on testing (in) the cloud. The editors of the special issue would like to thank the members of the guest editorial board for their help during the reviewing process: Rui Abreu, Khaled El-Fakih, Toru Hasegawa, Thierry Jéron, Pascale Le Gall, David Lee, Stephane Maag,Eliane Martins, Inmaculada Medina-Bulo, Mercedes G. Merayo, Adenilso Simao, Kenji Suzuki, Jan Tretmans, Farn Wang, Carsten Weise, Franz Wotawa, Nina Yevtushenko and Fatiha Zaïdi. We sincerely hope that the subscribers of the journal enjoy reading the papers contained in this special issue and that these contributions are useful for their research.
Item Type: | Article |
---|---|
Subjects: | Sciences > Computer science Sciences > Computer science > Computer networks Sciences > Computer science > Operating systems |
ID Code: | 37087 |
Deposited On: | 13 Apr 2016 14:38 |
Last Modified: | 01 Jun 2016 23:01 |
Origin of downloads
Repository Staff Only: item control page