S. D. Dhodapkar
According to our database1,
S. D. Dhodapkar
authored at least 8 papers
between 1999 and 2007.
Collaborative distances:
Collaborative distances:
Timeline
1999
2000
2001
2002
2003
2004
2005
2006
2007
0
1
2
3
1
2
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2007
Proceedings of the Computer Safety, 2007
2003
Reliab. Eng. Syst. Saf., 2003
Proceedings of the Computer Safety, 2003
2001
PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310].
Reliab. Eng. Syst. Saf., 2001
Reliab. Eng. Syst. Saf., 2001
2000
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000
1999
Proceedings of the Computer Safety, 1999
Proceedings of the FM'99 - Formal Methods, 1999