Special issue on formal active and passive testing of distributed and networked systems

  1. Cavalli, A.R.
  2. Higashino, T.
  3. Núñez, M.
Zeitschrift:
Annales des Telecommunications/Annals of Telecommunications

ISSN: 1958-9395 0003-4347

Datum der Publikation: 2015

Ausgabe: 70

Nummer: 3-4

Seiten: 83-84

Art: Verlag

DOI: 10.1007/S12243-015-0459-6 GOOGLE SCHOLAR lock_openOpen Access editor

Ziele für nachhaltige Entwicklung