Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components

Michael Gunzert, Andreas Nägele. Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components. In PDSE. pages 134, 1999. [doi]

Abstract

Abstract is missing.