( en | de | ru )

 

Disambiguation of "Bhattacharjee, A. K."

Author of the publication

copydeleteadd this publication to your clipboard
Design methodology for battery powered embedded systems - In safety critical application.

, , and . Comput. Stand. Interfaces, 31 (2): 499-503 (2009)

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.

A K Ertan

Deep Bhattacharjee Co-author

Swapan Bhattacharjee

Proteeti Bhattacharjee

Tanushree Bhattacharjee

 

Other publications of authors with the same name

An Enhanced HCCA Based Adaptive Scheduler for Multimedia Traffic in IEEE 802.11e Wireless LAN., , and . ICWN, page 446-453. CSREA Press, (2010)Experience with testing and rigorous program analysis for qualification of RTOS., , , and . ISEC, page 83-89. ACM, (2013)Detection of Runtime Errors in MISRA C Programs: A Deductive Approach., , , , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 491-504. Springer, (2007)Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation., and . J. Object Technol., 8 (1): 189-220 (2009)A Translation of Statecharts to Esterel., , , and . World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 983-1007. Springer, (1999)A System for Object Code Validation., , , , , and . FTRTFT, volume 1926 of Lecture Notes in Computer Science, page 152-169. Springer, (2000)Watermark Removal Attack Extended to Forgery Against Correlation-Based Watermarking Schemes., and . ICISS, volume 9478 of Lecture Notes in Computer Science, page 463-479. Springer, (2015)Visual Modeling and Verification of Distributed Reactive Systems., , , and . SAFECOMP, volume 2788 of Lecture Notes in Computer Science, page 22-34. Springer, (2003)IDS alerts classification using knowledge-based evaluation., , , and . COMSNETS, page 1-8. IEEE, (2012)PERTS: an environment for specification and verification of reactive systems., , and . Reliab. Eng. Syst. Saf., 71 (3): 299-310 (2001)