traffic-controller

There are 0 repository under traffic-controller topic.

• sgomber / traffic-controller-NuSMV

  Project done for my B.Tech course on Formal Methods for System Verification

  nusmvtraffic-controllerformal-verificationformal-methodsmodel-checkingmodel-checker
  5

• atosh502 / embedded-project

  Simulating traffic controller sequence at Thapathali intersection using Xilinx and 8051

  xilinx8051uvision5keil-uvisiontraffic-controllerembeddedproteusvhdl
  Language:C 1