Sortiert nach
Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability, 2021-12, Vol.235 (6), p.1132-1153
2021
Link zum Volltext
IEEE transactions on software engineering, 2008-11, Vol.34 (6), p.753-764
2008
- Link zum Volltext
Computer Safety, Reliability, and Security, 2006, p.302-315
2006
Link zum Volltext
Dependable Computing - EDCC 5, 2005, p.199-209
2005
Link zum Volltext
Computer Safety, Reliability, and Security, 2005, p.151-164
1ère éd, 2005
Link zum Volltext
Computer Safety, Reliability, and Security, 2004, p.60-71
2004
Link zum Volltext
The 18th IEEE International Symposium on Software Reliability (ISSRE '07), 2007, p.203-208
2007
- Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.176-186
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.382-394
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.294-308
2000
Link zum Volltext
Formal Methods in Computer-Aided Design, 2002, p.310-323
2002
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.309-320
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, Vol.1943, p.74-85
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.264-274
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.275-285
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.37-52
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.344-360
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.395-405
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.107-116
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.240-249
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.211-226
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.406-419
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.96-106
2000
Link zum Volltext
Computer Safety, Reliability and Security, 2000, p.371-381
2000
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Applied Sciences
- Exact Sciences And Technology
- Technology
- Computer Science; Control Theory; Systems
- Computer Science, Theory & Methods
- Software
- Computer Science, Software Engineering
- Computer Science, Hardware & Architecture
- Computer Systems Performance. Reliability
- Software Engineering
- Control Theory. Systems
- Software Reliability
- Fault Injection
- Ground, Air And Sea Transportation, Marine Construction
- Model Check
- Fault Tolerance
- Fault Tree Analysis
- Formal Method
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEL
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
- Free E-Journal (出版社公開部分のみ）
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- BMJ Journals Online 英国医学会数据库
- Access via ScienceDirect (Elsevier)
- SAGE Journals
- BMJ Journals Archiv - DFG Nationallizenzen