TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.

Suri, Neeraj and Sinha, Purnendu (2010):
Pre-Injection Analysis for Identifying Fault-Injection Tests for Protocol Validation.
In: Journal of Software, [Article]

Sinha, Purnendu and Suri, Neeraj (2001):
Modular Composition of Redundancy Management Protocols in Distributed Protocols: An Outlook on Simplifying Protocol Level Specification & Verification.
In: International Conference on Distributed Computing Systems (ICDCS), [Conference or Workshop Item]

Sinha, Purnendu and Suri, Neeraj (1999):
Identification of Test Cases Using a Formal FI Approach.
In: 29th International Symposium on Fault-Tolerant Computing (FTCS-29), [Conference or Workshop Item]

Sinha, Purnendu and Suri, Neeraj (1999):
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.
In: Real-Time Systems Symposium (RTSS), [Conference or Workshop Item]

Suri, Neeraj and Sinha, Purnendu (1998):
On the Use of Formal Techniques for Validation.
In: 28th International Symposium on Fault-Tolerant Computing (FTCS-28), [Conference or Workshop Item]

This list was generated on Sat Jun 15 01:44:11 2019 CEST.