Publisher
Springer Science and Business Media LLC
Reference5 articles.
1. Sandro Degiorgi und Martin Wittiger. Ergebnisbewertung konservativer statischer Data-Race-Analysen, 2013. (unveröffentlicht).
2. ISO/IEC JTC1/SC22/WG 21. ISO/IEC 14882:2011 draft 2011-02-28, 2011.
3. Aoun Raza, Gunther Vogel und Erhard Plödereder. Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering. In: LuísMiguel Pinho und Michael González Harbour (Hg.), Reliable Software Technologies – Ada-Europe 2006, Lecture Notes in Computer Science, Band 4006, (Seiten 71–82). Springer Berlin Heidelberg, 2006. ISBN 978-3-540-34663–0. doi:10.1007/11767077_6.
4. Vesal Vojdani und Varmo Vene. Goblint: Path-Sensitive Data Race Analysis. In: Symposium on Programming Languages and Software Tools, 2007.
5. Martin Wittiger und Steffen Keul. Extraktion von Interthread-Kommunikation in eingebetteten Systemen. In Automotive– Safety & Security 2012, Lecture Notes in Informatics, volume P-210, (Seiten 55–67), 2012.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献