語系
Wolter, Katinka.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Resilience assessment and evaluation of computing systems
by:
Wolter, Katinka.; Avritzer, Alberto.; Vieira, Marco.; van Moorsel, Aad.; SpringerLink (Online service)
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
Computer performance engineering = 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
Horvath, Andras.; Wolter, Katinka.; SpringerLink (Online service)
(書目-電子資源)
Stochastic models for fault tolerance = restart, rejuvenation and checkpointing /
by:
SpringerLink (Online service); Wolter, Katinka.
(書目-語言資料,印刷品)
主題
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.