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

Download
Abstract (PDF, 208.0Kb)
Fulltext (PDF, 8.804Mb)
Thumbnail
Closed access
Author
Tosi, Angelo Einar
Date
1995
Type
    Doctoral Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-001512034
Publication status
published
External links
Search via SFX
Contributors
Examiner: Birolini, Alessandro
Examiner: Plattner, Bernhard
Publisher
ETH Zürich
Subject
NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME); GÜLTIGKEITSPRÜFUNG (SOFTWARE ENGINEERING); SPEZIELLE STOCHASTISCHE PROZESSE (WAHRSCHEINLICHKEITSRECHNUNG); NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS); VALIDATION (SOFTWARE ENGINEERING); SPECIAL STOCHASTIC PROCESSES (PROBABILITY THEORY)
Notes
Diss. Techn. Wiss. ETH Zürich, Nr. 11272, 1995. Ref.: Bernhard Plattner ; Korref.: Alessandro Birolini ; Korref.: Colin H. West.
More
Show all metadata
ETH Bibliography
yes
Altmetrics