Languages
Wolter, Katinka.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Resilience assessment and evaluation of computing systems
by:
Wolter, Katinka.; Avritzer, Alberto.; Vieira, Marco.; van Moorsel, Aad.; SpringerLink (Online service)
(Electronic resources)
Formal methods and stochastic models for performance evaluation : = Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
by:
Wolter, Katinka.; EPEW 2007 ((2007 :)
(Language materials, printed)
Computer performance engineering = 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
Wolter, Katinka.; SpringerLink (Online service); Horvath, Andras.
(Electronic resources)
Stochastic models for fault tolerance = restart, rejuvenation and checkpointing /
by:
SpringerLink (Online service); Wolter, Katinka.
(Language materials, printed)
Subjects
Stochastic models.
Software Engineering.
Stochastic models
Logics and Meanings of Programs.
Computers- Reliability
Mathematical Applications in Computer Science.
Formal methods (Computer science)
Computers- Reliability.
Computer Science.
Probability and Statistics in Computer Science.
Simulation and Modeling.
System Performance and Evaluation.
Computer software- Reliability.
Computer software- Reliability
Computer systems- Evaluation
Fault-tolerant computing.
Quality Control, Reliability, Safety and Risk.