Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de Osaka University](/img/noimage_org.png)
Osaka University
Osaka, JapónPublicaciones en colaboración con investigadores/as de Osaka University (2)
2015
-
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
-
Special issue on formal active and passive testing of distributed and networked systems
Annales des Telecommunications/Annals of Telecommunications