Author of the publication

Formal semantics of extended hierarchical state transition matrix by CSP.

, , , , , and . ACM SIGSOFT Softw. Eng. Notes, 37 (4): 1-8 (2012)

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

Evaluation of Caching Algorithm for NetNews., , and . Applied Informatics, page 175-182. IASTED/ACTA Press, (1999)Design of a Context-Aware Email Delivery System., , , , and . PDPTA, page 744-750. CSREA Press, (2003)A Context-Aware Middleware Mapping Processes and User-Context Subspaces., , , and . PDPTA, page 1591-1597. CSREA Press, (2003)A Power Aware Paging Scheme with Power Controlling Each Memory Bank., , and . PDPTA, page 1912-1918. CSREA Press, (2002)Providing safe and affordable transportation to reduce female students dropout: A case study on college girls in rural Bangladesh., , , , , , and . SMC, page 4130-4134. IEEE, (2016)Design of Acoustic Vehicle Detector with Steady-Noise Suppression., , , , and . ITSC, page 2848-2853. IEEE, (2019)An intelligent annotation-based image retrieval system based on RDF descriptions., , , and . Comput. Electr. Eng., (2017)Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems., , , , and . IEICE Trans. Commun., 94-B (3): 649-657 (2011)SAVeD: Acoustic Vehicle Detector with Speed Estimation capable of Sequential Vehicle Detection., , , , and . ITSC, page 906-912. IEEE, (2018)Design of WiFi-AP operating channel estimation scheme for sensor node., , , , and . ICMU, page 1-6. IEEE, (2016)