TY - JOUR
TI - Compositional Dependability Evaluation for STATEMATE
T2 - IEEE Transactions on Software Engineering
SP - 274
EP - 292
AU - M. Herbstritt
AU - S. Johr
AU - H. Hermanns
AU - B. Becker
AU - T. Peikenkamp
AU - J. Rakow
AU - R. Pulungan
AU - E. Böde
AU - R. Wimmer
PY - 2008
KW - Real-time and embedded systems
KW - Fault tolerance
KW - Modeling techniques
KW - Reliability
KW - availability
KW - and serviceability
KW - Model checking
KW - Reliability
KW - Design notations and documentation
KW - State diagrams
DO - 10.1109/TSE.2008.102
JO - IEEE Transactions on Software Engineering
IS -
SN - 0098-5589
VO - 10.1109/TSE.2008.102
VL - 35
JA - IEEE Transactions on Software Engineering
Y1 - December 2008
ER -