Search
Now showing items 1-1 of 1
Finite State Verification of Intelligent Transportation Systems
Publisher: American Society of Civil Engineers
Abstract: Intelligent transportation systems (ITS) represent a major initiative to improve roadway and travel conditions, not by building roads, but by drawing on new technologies in computing, sensing, and communications. However, ...