Formal Modelling of Real-Time Embedded Automotive Architecture

Mostefa Belarbi. Formal Modelling of Real-Time Embedded Automotive Architecture. Transactions of the SDPS, 13(2):1-18, 2009. [doi]

Abstract

Abstract is missing.