Author of the publication

Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.

, , , , , , and . ICPP Workshops, page 240-247. IEEE Computer Society, (2005)

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

Tuple Measure Model Based on CFI-Apriori Algorithm., , and . ICAIS (1), volume 12239 of Lecture Notes in Computer Science, page 49-61. Springer, (2020)Performance Investigation of Uniaxially Tensile Stressed Ge n-FinFETs Formed on Biaxially Strained GeOI Substrates And Its Impact On Ge CMOS Inverters., , , , , , and . ASICON, page 1-4. IEEE, (2019)A Novel Computer-Aided Diagnosis Method of Nasopharyngeal Carcinoma Based on Magnetic Resonance Images., , , , , , and . ICIMCS, volume 819 of Communications in Computer and Information Science, page 215-225. Springer, (2017)An Efficient NPN Boolean Matching Algorithm Based on Structural Signature and Shannon Expansion., , , and . CoRR, (2017)Towards a Generic Logic for Analysing Network Protocols., , and . ICDCS Workshop on Internet, page A19-A26. (2000)Bidirectional Cache for P2P Traffic in WLAN., , , , , and . PDCAT, page 638-641. IEEE, (2012)A Novel Quality Assessment Metric for Synthesized Virtual View in 3D Video.. FSDM, volume 299 of Frontiers in Artificial Intelligence and Applications, page 517-524. IOS Press, (2017)Hybrid spectrum sharing in cognitive two-way relay networks., , , , and . WPMC, page 573-578. IEEE, (2014)Energy-Aware Self-Adjusted Topology Control Algorithm for Heterogeneous Wireless Ad Hoc Networks., , , and . GLOBECOM, page 1-6. IEEE, (2009)Blind Collision Resolution Using Cooperative Transmission., , , , and . VTC Spring, page 1-5. IEEE, (2010)