Author:
Denney Ewen,Pai Ganesh,Pohl Josef
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Adelard LLP: Assurance and safety case environment (ASCE), http://www.adelard.com/asce/ (last accessed May 2011)
2. Basili, V., Caldiera, G., Rombach, D.: Goal question metric approach. In: Encyclopedia of Software Engineering, pp. 528–532. John Wiley (1994)
3. Lecture Notes in Computer Science;N. Basir,2010
4. Denney, E., Fischer, B.: Generating customized verifiers for automatically generated code. In: Proc. Conf. Generative Programming and Component Eng., pp. 77–87 (October 2008)
5. Denney, E., Habli, I., Pai, G.: Perspectives on software safety case development for unmanned aircraft. In: Proc. 42nd Intl. Conf. Dependable Systems and Networks (June 2012)
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献