Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH

Amalinda Post, Igor Menzel, Jochen Hoenicke, Andreas Podelski. Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. Requir. Eng., 17(1):19-33, 2012. [doi]

Abstract

Abstract is missing.