2:45 - 3:00pm
Gan Keng Hoon
3:00 - 3:30pm
Arif Mahmud
3:30 - 4:00pm
Towards Model Checking of Network Applications for IoT System Development
Ratana Hing
4:00 - 4:30pm
Dr. Syaheerah Lebai Lutfi
4:30 - 4:45pm
Gan Keng Hoon
[Research Paper]
Ratana Hing