Autor der Publikation

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

, , , und . ICDIM, Seite 128-133. IEEE, (2009)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

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