An Event-B Formal Model of a Traffic Light System In Sunway Smart City
Conference proceeding (June 2023)
The most recent citing publications are shown below. View all 11 publications that cite this research output on Dimensions.
Conference proceeding (June 2023)
Conference proceeding (December 2019)
Book chapter (July 2019)