Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements.

Muhammad Usman Sanwal, Osman Hasan

Browse the full ICCSA paper archive.