Sortiert nach
Dependable Computing - EDCC 5, 2005, p.305-317
2005
Link zum Volltext
Software testing, verification & reliability, 2009-06, Vol.19 (2), p.91-110
2009
Link zum Volltext
Computer Safety, Reliability, and Security, p.178-189
Link zum Volltext
Computer Safety, Reliability, and Security, 2004, p.116-129
2004
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, p.231-245
Link zum Volltext
Computer Safety, Reliability, and Security, p.137-146
Link zum Volltext
Computer Safety, Reliability, and Security, p.369-382
Link zum Volltext
22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings, 2003, p.283-292
2003
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Automatic Train Control
- Black-Box Testing
- Computer Science; Control Theory; Systems
- Embedded Systems
- Exact Sciences And Technology
- Influence Variable
- Programvaruteknik
- Requirement Engineering
- Safety
- Scenario Variable
- Software
- Software Technology
- Abstracting
- Automatic Metro Systems
- Behavioural Model
Kollektion
Zeitschrift / Serie