Project done for my B.Tech course on Formal Methods for System Verification
-
Updated
Oct 25, 2021
#
traffic-controller
Here are 2 public repositories matching this topic...
Simulating traffic controller sequence at Thapathali intersection using Xilinx and 8051
-
Updated
Aug 9, 2018 - C
Improve this page
Add a description, image, and links to the traffic-controller topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the traffic-controller topic, visit your repo's landing page and select "manage topics."