Search
Journal of Computing in Civil Engineering
EISSN: 1943-5487
ISSN: 0887-3801
Priority: 6
Publisher: American Society of Civil Engineers
Description: The Journal of Computing in Civil Engineering serves as a resource to researchers, practitioners, and students on advances and innovative ideas in computing as applicable to the engineering profession. Many such ideas emerge from recent developments More ...
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, ...