Author:
Chaki Sagar,Schallhart Christian,Veith Helmut
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Heinecke, H.: Automotive Open System Architecture-An Industry-Wide Initiative to Manage the Complexity of Emerging Automotive E/E Architectures. In: Society of Automotive Engineers World Congress (2004)
2. Broy, M.: Challenges in automotive software engineering. In: ICSE ’06., pp. 33–42 (2006)
3. Lecture Notes in Computer Science;T. Ball,2004
4. Lecture Notes in Computer Science;T. Ball,2001
5. Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Lazy Abstraction. In: Proc. 29th POPL, Association for Computing Machinery, pp. 58–70 (2002)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification across Intellectual Property Boundaries;ACM Transactions on Software Engineering and Methodology;2013-03
2. Navigating the Requirements Jungle;Communications in Computer and Information Science;2008