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