A reliability growth model for protocol validation and testing by random state exploration
Closed access
Author
Date
1995Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-001512034Publication status
publishedExternal links
Search print copy at ETH Library
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