Formal Probabilistic Analysis of Cyber-Physical Transportation Systems.

Atif Mashkoor, Osman Hasan

Browse the full ICCSA paper archive.