Author of the publication

Model-based requirements and properties specifications trends for early design verification of embedded systems.

, , , and . SoSE, page 1-7. IEEE, (2016)

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

Parallel Greedy Adaptive Search Algorithm for Steiner Tree Problem.. PDPTA, page 1062-1075. CSREA Press, (2006)Expressing embedded systems verification aspects at higher abstraction level - SystemVerilog in Object Constraint Language (SVOCL)., , and . SysCon, page 1-7. IEEE, (2016)Toward the tools selection in model based system engineering for embedded systems - A systematic literature review., , and . J. Syst. Softw., (2015)Corrigendum: Throughput/area optimised pipelined architecture for elliptic curve crypto processor.. IET Comput. Digit. Tech., 15 (1): 77 (2021)Throughput/area optimised pipelined architecture for elliptic curve crypto processor., , , and . IET Comput. Digit. Tech., 13 (5): 361-368 (2019)Deep learning empowered classification of augmented cultural heritage images., , , , , and . VIPERC, volume 3600 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)C-NOT gate based on ultracold Rydberg atom interactions, , and . (2013)A Model Based Neurorehabilitation (MBN) Framework using Kinect., , , , , and . SysCon, page 1-6. IEEE, (2021)An Indexing Scheme for Telerehabilitation Big Data., , and . IEEE BigData, page 5807-5809. IEEE, (2020)Evaluation of ASIPs Design with LISATek., , and . SAMOS, volume 5114 of Lecture Notes in Computer Science, page 177-186. Springer, (2008)