|
СТ |
A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Pragrams |
2003 |
Jhumka A., Suri N., Hiller M. |
|
|
|
Lecture Notes in Computer Science |
26.11.2003 |
|
СТ |
Component-Based Synthesis of Dependable Embedded Software |
2002 |
Jhumka A., Hiller M., Suri N. |
|
|
|
Lecture Notes in Computer Science |
09.10.2002 |
|
СТ |
Strong Mobility and Fine-Grained Resource Control in NOMANDS |
2000 |
Suri N., Bradshaw J. M., Breedy M. R., Groth P. T., Hill G. A., Jeffers R. |
|
|
|
Lecture Notes in Computer Science |
01.11.2000 |
|
СТ |
Formally Verified On-Line Diagnosis |
1997 |
Walter C. J., Lincoln P., Suri N. |
|
|
|
IEEE Trans. on Software Engineering |
13.02.1998 |
