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