|
Search the dblp DataBase
Ramakrishna V. Vishnuvajjala:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott
A Framework for Designing Safe Software Systems. [Citation Graph (0, 0)][DBLP] COMPSAC, 1995, pp:409-415 [Conf]
- Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott
Flow analysis for concurrent, reactive, real-time systems. [Citation Graph (0, 0)][DBLP] HASE, 1996, pp:176-183 [Conf]
- Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott
Specifying timing constraints in real-time object-oriented systems. [Citation Graph (0, 0)][DBLP] HASE, 1996, pp:32-39 [Conf]
- Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai
Sequence Specification for Concurrent Object-Oriented Applications. [Citation Graph (0, 0)][DBLP] International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:3, pp:361-383 [Journal]
- Wei-Tek Tsai, Ramakrishna V. Vishnuvajjala, Du Zhang
Verification and Validation of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. Knowl. Data Eng., 1999, v:11, n:1, pp:202-212 [Journal]
Search in 0.001secs, Finished in 0.001secs
|