| 1999 |
|---|
| 5 | EE | Wei-Tek Tsai,
Ramakrishna V. Vishnuvajjala,
Du Zhang:
Verification and Validation of Knowledge-Based Systems.
IEEE Trans. Knowl. Data Eng. 11(1): 202-212 (1999) |
| 1998 |
|---|
| 4 | EE | Yamin Wang,
Ramakrishna V. Vishnuvajjala,
Wei-Tek Tsai:
Sequence Specification for Concurrent Object-Oriented Applications.
International Journal of Software Engineering and Knowledge Engineering 8(3): 361-383 (1998) |
| 1996 |
|---|
| 3 | EE | Ramakrishna V. Vishnuvajjala,
Satish Subramanian,
Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Lynn Elliott:
Flow analysis for concurrent, reactive, real-time systems.
HASE 1996: 176-183 |
| 2 | EE | Ramakrishna V. Vishnuvajjala,
Wei-Tek Tsai,
Ramin Mojdehbakhsh,
Lynn Elliott:
Specifying timing constraints in real-time object-oriented systems.
HASE 1996: 32-39 |
| 1995 |
|---|
| 1 | EE | Satish Subramanian,
Ramakrishna V. Vishnuvajjala,
Ramin Mojdehbakhsh,
Wei-Tek Tsai,
Lynn Elliott:
A Framework for Designing Safe Software Systems.
COMPSAC 1995: 409-415 |
