Implementation relations and test generation for systems with distributed interfaces (2011)

First Author: Hierons R
Attributed to:  Testing Probabilistic and Stochastic Systems (ProbTest) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/s00446-011-0149-1

Publication URI: http://dx.doi.org/10.1007/s00446-011-0149-1

Type: Journal Article/Review

Parent Publication: Distributed Computing

Issue: 1