From post

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.

 

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

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