|
- Formalization of Dijkstra's Shortest Path Algorithm
by Jingchao Chen
- Formalization of Mathematics for Modeling Wireless Communication
Packet Exchanges between Cars
by Bo Zhang, Hiroshi Yamazaki, and Yatsuka Nakamura
- Correctness of Programs Calculating Matrices
by Wenpai Chang and Hiroshi Yamazaki
- Equivalence of Logic Circuits and their
Description in VHDL
by Hiroshi Yamazaki
|