![](https://media.springernature.com/w90/springer-static/cover/journal/12243/70/3.jpg?as=webp)
Volume 70, Issue 3-4
April 2015Formal active and passive testing of distributed and networked systems
9 articles in this issue
Formal active and passive testing of distributed and networked systems