( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling of real-time signal timing for multi-intersection in urban traffic network.

, , , и . ICDIM, стр. 128-133. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Keqiang Cui

Yifang Cui

Huiling Cui

Ai Cui

Cui Jian

 

Другие публикации лиц с тем же именем

Modeling of real-time signal timing for multi-intersection in urban traffic network., , , и . ICDIM, стр. 128-133. IEEE, (2009)Modeling of real-time signal timing for multi-intersection in urban traffic network., , , и . ICDIM, стр. 128-133. IEEE, (2009)Towards Applying the Composition Principle to Verify a Microkernel Operating System., , , , , и . TPHOLs, том 1125 из Lecture Notes in Computer Science, стр. 235-250. Springer, (1996)Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL., , , , , , и . HUG, том 780 из Lecture Notes in Computer Science, стр. 29-42. Springer, (1993)The Design of a Dataflow Computer, it's Language and It's Implementation., , и . PDPTA, стр. 564-570. CSREA Press, (2002)A Knowledge Processing Language and Its Parallel Inference System., , и . SEKE, стр. 199-206. Knowledge Systems Institute, (1993)Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability., , и . ICETE (2), стр. 530-537. SciTePress, (2018)A Swarming Approach to Optimize the One-hop Delay in Smart Driving Inter-platoon Communications., , , , и . CoRR, (2018)Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts., и . SEKE, стр. 824-829. Knowledge Systems Institute Graduate School, (2008)High stable and accurate vehicle selection scheme based on federated edge learning in vehicular networks., , , , , и . CoRR, (2022)