( en | de | ru )

 

Disambiguierung von "Zhou, Tingliang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Applying SOFL to a Railway Interlocking System in Industry.

, , , und . SOFL+MSVL, Volume 10189 von Lecture Notes in Computer Science, Seite 160-177. (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Zhou Zhou

Zhou Zhou

Yayun Zhou

Rui Zhou

Zhou Zhao

 

Weitere Publikationen von Autoren mit dem selben Namen

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems., , , , , , und . RE, Seite 308-318. IEEE, (2019)Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System., , , , und . APSEC, Seite 513-520. IEEE Computer Society, (2017)Safety Requirements Specification and Verification for Railway Interlocking Systems., , , , und . COMPSAC, Seite 335-340. IEEE Computer Society, (2016)Applying SOFL to a Railway Interlocking System in Industry., , , und . SOFL+MSVL, Volume 10189 von Lecture Notes in Computer Science, Seite 160-177. (2016)Intelligent Hazard-Risk Prediction Model for Train Control Systems., , , , , und . IEEE Trans. Intell. Transp. Syst., 21 (11): 4693-4704 (2020)Safety prediction of rail transit system based on deep learning., , , , , und . ICIS, Seite 851-856. IEEE Computer Society, (2017)A Survey on Spatiotemporal Data Processing Techniques in Smart Urban Rail., , , , , und . DASFAA (Workshops), Volume 13248 von Lecture Notes in Computer Science, Seite 229-243. Springer, (2022)Hybrid Lustre., , , , , und . Ershov Memorial Conference, Volume 9609 von Lecture Notes in Computer Science, Seite 325-340. Springer, (2015)Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network., , , , und . CollaborateCom, Volume 292 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 669-680. Springer, (2019)Decomposing Automatic Train Control Verification System with Projection., , , , und . APSEC, Seite 301-308. IEEE Computer Society, (2015)