Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1868-5145
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Formal design and verification of system task in intelligent transportation systems based on micro-kernel architecture ; day:29 ; month:8 ; year:2021 ; pages:1-10
Journal of ambient intelligence and humanized computing ; (29.8.2021), 1-10
- Creator
-
Qian, Zhenjiang
Jin, Yong
Sun, Gaofei
Xing, Xiaoshuang
Xia, Kaijian
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s12652-021-03454-9
- URN
-
urn:nbn:de:101:1-2021111308000920245251
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Qian, Zhenjiang
- Jin, Yong
- Sun, Gaofei
- Xing, Xiaoshuang
- Xia, Kaijian
- SpringerLink (Online service)
Other Objects (12)
Information in intelligent transportation systems
Information in intelligent transportation systems
Modeling dynamic transportation networks : an intelligent transportation system oriented approach
International journal of intelligent transportation systems research
Intelligent Transportation System with Diverse Semi-Autonomous Vehicles
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
INSIGMA: an intelligent transportation system for urban mobility enhancement
BIM-based description of intelligent transportation systems for roads
Deterministic Sybil attack exclusion in cooperative-intelligent transportation systems
Scene Understanding for Intelligent Transportation and Mobility Assistance Systems
Intelligent Transport Systems in the Management of Road Transportation
Information in intelligent transportation systems
Information in intelligent transportation systems
Modeling dynamic transportation networks : an intelligent transportation system oriented approach
International journal of intelligent transportation systems research
Intelligent Transportation System with Diverse Semi-Autonomous Vehicles
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
INSIGMA: an intelligent transportation system for urban mobility enhancement
BIM-based description of intelligent transportation systems for roads
Deterministic Sybil attack exclusion in cooperative-intelligent transportation systems
Scene Understanding for Intelligent Transportation and Mobility Assistance Systems
Intelligent Transport Systems in the Management of Road Transportation
Information in intelligent transportation systems
Information in intelligent transportation systems
Modeling dynamic transportation networks : an intelligent transportation system oriented approach
International journal of intelligent transportation systems research
Intelligent Transportation System with Diverse Semi-Autonomous Vehicles
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
INSIGMA: an intelligent transportation system for urban mobility enhancement
BIM-based description of intelligent transportation systems for roads
Deterministic Sybil attack exclusion in cooperative-intelligent transportation systems
Scene Understanding for Intelligent Transportation and Mobility Assistance Systems