Yih-Cheng (Bruce) Lee
Program
Model Checking - Traffic Light Model Checking in SMV
Model Checking - Elevator Controller in SPIN
Network Programming - Gnutella-like P2P program in C# WinForm
Data Structure - Mouse Maze in C# console
Yih-Cheng (Bruce) LeeProgramModel Checking - Traffic Light Model Checking in SMV Model Checking - Elevator Controller in SPIN Network Programming - Gnutella-like P2P program in C# WinForm Data Structure - Mouse Maze in C# console |