PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sinha, Purnendu"

Author of the publication

copydeleteadd this publication to your clipboard
On the Use of Formal Techniques for Validation.

, and . FTCS, page 390-399. IEEE Computer Society, (1998)

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.

Sakshi Sinha University of Stuttgart

 

Other publications of authors with the same name

Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives.. Rel. Eng. & Sys. Safety, 96 (10): 1349-1359 (2011)Formal verification of dependable distributed protocols., and . Information & Software Technology, 45 (12): 873-888 (2003)Identification of Test Cases Using a Formal Approach., and . FTCS, page 314-321. IEEE Computer Society, (1999)On the Use of Category Theory for Specification Composition of Dependable Distributed Protocols., and . IASTED PDCS, page 229-234. IASTED/ACTA Press, (2002)Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification & Verification., and . ICDCS, page 255-263. IEEE Computer Society, (2001)An Efficient Method for Synchronizing Clocks of Networked ECUs in Automotive Systems., , and . ICDCIT, volume 7753 of Lecture Notes in Computer Science, page 386-397. Springer, (2013)A hardware accelerator for controlling access to multiple-unit resources in safety/time-critical systems., and . IJICT, 1 (1): 62-75 (2007)Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks., , , , and . VLSI Design, page 19-24. IEEE Computer Society, (2013)On the Use of Formal Techniques for Validation., and . FTCS, page 390-399. IEEE Computer Society, (1998)A Hardware Accelerator for Controlling Access to Multiple-Unit Resources in Safety/Time-Critical Systems., and . SAMOS, volume 3553 of Lecture Notes in Computer Science, page 279-288. Springer, (2005)