Title: Intelligent Transportation System (ITS) Information Fusion: Concept, Analysis and Implementation
Abstract: As to ITS information fusion (ITSIF), the paper studies from three aspects: concept, analysis and implementation. Firstly on the basis of present research and practice, the paper gives ITSIF concept and content. Secondly, the paper uses formal approach to ITSIF analysis. The approach is based on category theory and object-oriented method and Specare. With the support of Specware, the formal specification can be refined into final excutable code step by step. On the basis of analysis, an information fusion system model is developed. Lastly, the paper introduces ITSIF implementation
Publication Year: 2006
Publication Date: 2006-06-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot