Ahmed Hammad, Hassan Mountassir. Verification of Real-Time Systems: Application to the Transportation Domain. In Khaldoun Al Agha, Mohamad Badra, Gregory B. Newby, editors, NTMS 2009, 3rd International Conference on New Technologies, Mobility and Security, 20-23 December 2009, Cairo, Egypt. pages 1-5, IEEE, 2009. [doi]
Abstract is missing.