On Formal Specification of Automated Lane Keeping Systems Requirements.

Masoumeh Panahi, Ali Shakeri

Browse the full CSICC paper archive.