Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY Tool. Software and System Modeling 4, 32–54 (2005)
2. Lecture Notes in Computer Science;W. Ahrendt,2007
3. Avizienis, A.: Arithmetic Error Codes: Cost and Effectiveness Studies for Application in Digital System Design. In: IEEE Transactions on Computers, pp. 1322–1331 (1971)
4. Babic, D., Hu, A.J.: Calysto: scalable and precise extended static checking. In: Proceedings of the 30th International Conference on Software Engineering, ICSE 2008, pp. 211–220. ACM, New York (2008)
5. Borkar, S.: Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation. IEEE Micro. 25(6), 10–16 (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献