Volume 70, Issue 3-4, April 2015

Formal active and passive testing of distributed and networked systems

ISSN: 0003-4347 (Print) 1958-9395 (Online)