Design, Verification and Simulation of Communication Protocols for a Fault Tolerant Automated Highway System
Antonia E. Lindsey
EECS Department, University of California, Berkeley
1997
Advisors: S. Shankar Sastry
BibTeX citation:
@phdthesis{Lindsey:8009, Author= {Lindsey, Antonia E.}, Title= {Design, Verification and Simulation of Communication Protocols for a Fault Tolerant Automated Highway System}, School= {EECS Department, University of California, Berkeley}, Year= {1997}, }
EndNote citation:
%0 Thesis %A Lindsey, Antonia E. %T Design, Verification and Simulation of Communication Protocols for a Fault Tolerant Automated Highway System %I EECS Department, University of California, Berkeley %D 1997 %F Lindsey:8009