Author:
Jürjens Jan,Reiß Daniel,Trachtenherz David
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Bartley, M.G., Galpin, D., Blackmore, T.: A Comparison of Three Verification Techniques. In: DAC, pp. 819–823. ACM, New York (2002)
2. Bradbury, J.S., Cordy, J.R., Dingel, J.: An empirical framework for comparing effectiveness of testing and property-based formal analysis. In: PASTE, pp. 2–5 (2005)
3. Brat, G., Drusinsky, D., Giannakopoulou, D., et al.: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design 25(2-3), 167–198 (2004)
4. Broy, M.: Challenges in automotive software engineering. In: ICSE, pp. 33–42. ACM, New York (2006)
5. Broy, M., Stolen, K.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献