Items where Author is "Sinha, Purnendu"

Sinha, Purnendu and Suri, Neeraj (1999) On the use of formal techniques for analyzing dependable real-time protocols. In: Proceedings 20th IEEE Real-Time Systems Symposium :. IEEE, USA, pp. 126-135. ISBN 0769504752

Sinha, Purnendu and Suri, Neeraj (1999) Identification of test cases using a formal approach. In: Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing :. Proc Annu Int Conf Fault Tolerant Comput . IEEE, USA, pp. 314-321. ISBN 076950213X