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