Ensuring the Reliability of an Autonomous Vehicle: A Formal Approach based on Component Interaction Protocols.

Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui

Browse the full MSWIM paper archive.