Formal specification and verification of the entry and exit maneuvers /

Bibliographic Details
Main Author:	Sachs, Sonia R.
Corporate Authors:	California. Department of Transportation, University of California, Berkeley. Institute of Transportation Studies, Partners for Advanced Transit and Highways (Calif.)
Other Authors:	Varaiya, P. P. (Pravin Pratap)
Format:	Book
Language:	English
Published:	Berkeley, Calif. : California PATH Program, Institute of Transportation Studies, University of California at Berkeley, [1996]
Series:	PATH research report. UCB-ITS-PRR-96-3.
Subjects:	Express highways > Automation. Automobiles > Automatic control. freeway ramps

Remote Storage