Publications in collaboration with researchers from Osaka University (2)

2015

  1. A survey on formal active and passive testing with applications to the cloud

    Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 85-93

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

    Annales des Telecommunications/Annals of Telecommunications