Author of the publication

Modeling of real-time signal timing for multi-intersection in urban traffic network.

, , , and . ICDIM, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modeling of real-time signal timing for multi-intersection in urban traffic network., , , and . ICDIM, page 128-133. IEEE, (2009)Modeling of real-time signal timing for multi-intersection in urban traffic network., , , and . ICDIM, page 128-133. IEEE, (2009)Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation., and . PDPTA, page 256-264. CSREA Press, (1997)Formal Semantic Specification for a Set of UML Diagrams.. Software Engineering Research and Practice, page 883-889. CSREA Press, (2003)A Hierarchical Method for Reasoning about Distributed Programming Languages., , , , and . TPHOLs, volume 971 of Lecture Notes in Computer Science, page 385-400. Springer, (1995)Mobility-Aware Cooperative Caching in Vehicular Edge Computing Based on Asynchronous Federated and Deep Reinforcement Learning., , , , , and . CoRR, (2022)FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages., , and . IRI, page 218-221. IEEE Systems, Man, and Cybernetics Society, (2011)Bit-plane image coding algorithms based on compressed sensing., , , , and . ICDIP, volume 8334 of SPIE Proceedings, page 833416. SPIE, (2012)A Saturation Binary Neural Network for Crossbar Switching Problem., , and . AICI (3), volume 7004 of Lecture Notes in Computer Science, page 254-261. Springer, (2011)Formal Specification of Software Architecture Security Tactics., and . SEKE, page 172-175. Knowledge Systems Institute Graduate School, (2010)