TY  - JOUR
AU  - Cavalli, Ana R.
AU  - Higashino, Teruo
AU  - Núñez García, Manuel
PY  - 2015
DO  - 10.1007/s12243-015-0459-6
SN  - 0003-4347
UR  - https://hdl.handle.net/20.500.14352/24415
T2  - annals of telecommunications - annales des télécommunications
AB  - 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...
LA  - eng
M2  - 83
PB  - Springer Verlag
TI  - Special issue on formal active and passive testing of distributed and networked systems
TY  - journal article
VL  - 70
ER  -