共 23 条
- [11] Meitner M., 2013, 26 INT C ARCH COMP S
- [12] Oster N, 2006, LECT NOTES COMPUT SC, V4166, P426
- [13] EVALUATION OF SAFETY-CRITICAL SOFTWARE [J]. COMMUNICATIONS OF THE ACM, 1990, 33 (06) : 636 - 648
- [14] Quirk W. J., 1985, VERIFICATION VALIDAT
- [16] Saglietti Francesca., 2007, ARCS'07 - Workshop Proceedings, Workshop proceedings of the 20th International Conference on Architecture of Computing Systems (ARCS 2007), P85
- [17] Söhnlein S, 2010, LECT NOTES COMPUT SC, V5987, P24
- [19] Storm R., 2007, WAHRSCHEINLICHKEITSR
- [20] STORMER H, 1970, MATH THEORIE ZUVERLA