Author of the publication

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

Towards enhanced reactive routing in urban Vehicular Ad hoc Networks., , , and . CFIP/NOTERE, page 1-6. IEEE, (2015)Overall Delay analysis of Active Reliable Multicast Protocols in Wireless Mesh Networks., and . PAIS, page 1-6. IEEE, (2023)Modelling and verification of parameterized architectures: A functional approach., and . IET Comput. Digit. Tech., 15 (5): 335-348 (2021)Formal verification of pipelined cryptographic circuits: A functional approach., and . Informatica (Slovenia), (2021)Routing over VANET in Urban Environments., , , and . I4CS, volume 648 of Communications in Computer and Information Science, page 143-152. (2016)A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach., and . AICCSA, page 492-499. IEEE Computer Society, (2007)A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design., and . Int. J. Embed. Real Time Commun. Syst., 6 (1): 101-131 (2015)Cross-layer greedy forwarding algorithm for VANET., and . J. High Speed Networks, 28 (3): 167-179 (2022)A SysML and CLEAN-based methodology for digital circuits design., and . Int. J. High Perform. Syst. Archit., 6 (4): 222-237 (2016)A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach., and . ITNG, page 241-246. IEEE Computer Society, (2008)