|
СТ |
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems |
2004 |
Childs A., Greenwald J., Ranganath V. P., Deng X., Dwyer M., Hatcliff J., Jung G., Shanti P., Singh G. |
|
|
|
Lecture Notes in Computer Science |
16.04.2004 |
|
СТ |
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software |
2003 |
Deng X., Dwyer M. B., Hatcliff J., Jung G., Robby., Singh G. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
|
СТ |
Inferring 3-Dimensional Constraints with DEVI |
1994 |
Thennarangam S., Singh G. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
|
СТ |
A Methodology for Designing Communication Protocols |
1994 |
Singh G. |
|
|
|
Computer Communication Review |
07.12.1994 |
|
СТ |
A Framework for Parallel Composition of Protocols |
1992 |
Singh G., Bernstein A. J. |
|
|
|
Lecture Notes in Computer Science |
29.07.1992 |
