selected publications
-
academic article
- Special issue on formal active and passive testing of distributed and networked systems. Annals of Telecommunications. 70:83-84. 2015
-
conference paper
- Welcome Message from the General Co-Chairs. . 1-1. 2023