Similar Papers

Paper Title
Journal
Date
Author
Formal modeling and verification of smart distribution grid based on common information model
Boya Qin ... Yiming Lu
-
Boya Qin, et. al.Boya Qin ... Yiming Lu
01 Aug 2016
Formal modeling and verification method for Simulink-MDL requirement model
Junan Li ... Jialei Dai
Journal of Physics: Conference Series | VOL. 2791
Junan Li, et. al.Junan Li ... Jialei Dai
01 Jul 2024
Security Software Formal Modeling and Verification Method Based on UML and Z
Kunyu Cao ... Jinliang Xing
-
Kunyu Cao, et. al.Kunyu Cao ... Jinliang Xing
01 Jan 2012
From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT
Tieming Chen ... Bo Chen
Journal of Sensors | VOL. 2016
Tieming Chen, et. al.Tieming Chen ... Bo Chen
09 Dec 2015
View more papers

More From: IEEE Transactions on Intelligent Transportation Systems

Paper Title
Journal
Date
Author
Soft Actor-Critic Deep Reinforcement Learning for Train Timetable Collaborative Optimization of Large-Scale Urban Rail Transit Network Under Dynamic Demand
Longhui Wen ... Ning Zhang
IEEE Transactions on Intelligent Transportation Systems | VOL. -
Longhui Wen, et. al.Longhui Wen ... Ning Zhang
01 Jan 2025
InstaGraM: Instance-Level Graph Modeling for Vectorized HD Map Learning
Juyeb Shin ... Dongsuk Kum
IEEE Transactions on Intelligent Transportation Systems | VOL. -
Juyeb Shin, et. al.Juyeb Shin ... Dongsuk Kum
01 Jan 2025
A Two-Level Control Algorithm for Autonomous Driving in Urban Environments
Erfan Aasi ... Calin Belta
IEEE Transactions on Intelligent Transportation Systems | VOL. 26
Erfan Aasi, et. al.Erfan Aasi ... Calin Belta
01 Jan 2025
Dynamic Coplanar Array Capacitance Imaging Method for Asphalt Materials With Concealed Damages
Bin Shi ... Qiao Dong
IEEE Transactions on Intelligent Transportation Systems | VOL. -
Bin Shi, et. al.Bin Shi ... Qiao Dong
01 Jan 2025
View more papers

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.