Static Verification of Non-Functional Software Requirements in the ISO-26262

Daniel Kästner, Christian Ferdinand. Static Verification of Non-Functional Software Requirements in the ISO-26262. In Erhard Plödereder, Peter Dencker, Herbert Klenk, Hubert B. Keller, Silke Spitzer, editors, Automotive - Safety & Security 2012, Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 14.-15. November 2012, Karlsruhe, Proceedings. Volume 210 of LNI, pages 39-53, GI, 2012.

Abstract

Abstract is missing.