A reliability growth model for protocol validation and testing by random state exploration

Metadata Label Value
Author(s): Tosi, Angelo Einar
Publisher: Unknown
Citation:

Tosi, Angelo Einar. A reliability growth model for protocol validation and testing by random state exploration. (1995). http://dx.doi.org/10.3929/ethz-a-001512034

Document Type: Doctoral and Habilitation Theses  
Documents: Abstract (208.06KB)

Detailed Information

Metadata Description
Title A reliability growth model for protocol validation and testing by random state exploration
Author(s) Tosi, Angelo Einar
Publication Place Zürich
Publication Date 1995
Notes Diss. Techn. Wiss. ETH Zürich, Nr. 11272, 1995. Ref.: Bernhard Plattner ; Korref.: Alessandro Birolini ; Korref.: Colin H. West
Language English
DOI http://dx.doi.org/10.3929/ethz-a-001512034
Subject(s) Computer Systems
Software
Keyword(s) NETWORK PROTOCOLS
COMMUNICATION PROTOCOLS
COMPUTER SYSTEMS
VALIDATION
SPECIAL STOCHASTIC PROCESSES
PROBABILITY THEORY
Description File Name MIME Type Size
Abstract   eth-39998-01.pdf application/pdf 208.06KB
Abstract Views and Downloads
Views 32  abstracts
Downloads 55  downloads

Abstract Views and Downloads by Country
Germany Views abstracts
Downloads 28  downloads
Views 11  abstracts
Downloads 12  downloads
United States Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Croatia Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Vietnam Views abstracts
Downloads downloads


E-Collection record created: Wed, 18 Feb 2009, 15:02:21 CET