Testing Probabilistic Distributed Systems

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/978-3-642-13464-7_6

Publication URI: http://dx.doi.org/10.1007/978-3-642-13464-7_6

Type: Book Chapter

Book Title: Formal Techniques for Distributed Systems (2010)

Page Reference: 63-77

ISBN: 978-3-642-13463-0

ISSN: 2662-9399