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

Closed access
Author
Tosi, Angelo Einar
Date
1995Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-001512034Publication status
publishedExternal links
Search via SFX
Contributors
Examiner: Birolini, AlessandroExaminer: Plattner, Bernhard
Publisher
ETH ZürichSubject
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