|
СТ |
A Graphical Interval Logic for Specifying Concurrent Systems |
1994 |
Dillon L. K., Kutty G., Moser L. E., Melliar-Smith P. M., Ramakrishna Y. S. |
|
|
|
ACM Trans. Software Engineering and Methodology |
14.12.1994 |
|
СТ |
First-Order Future Interval Logic |
1994 |
Kutty G., Moser L. E., Melliar-Smith P. M., Dillon L. K., Ramakrishna Y. S. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1994 |
|
СТ |
A Real-Time Interval Logic and Its Decision Procedure |
1993 |
Ramakrishna Y. S., Dillon L. K., Moser L. E., Melliar-Smith P. M., Kutty G. |
|
|
|
Lecture Notes in Computer Science |
20.01.1994 |
|
СТ |
A Visual Execution Model for Ada Tasking |
1993 |
Dillon L. K. |
|
|
|
ACM Trans. Software Engineering and Methodology |
29.12.1993 |
|
СТ |
A Grafical Interval Logic Toolset for Verifying Concurrent Systems |
1993 |
Kutty G., Ramakrishna Y. S., Moser L. E., Dillon L. K., Melliar-Smith P. M. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
An Automata-Theoretic Decision Procedure for Future Interval Logic |
1992 |
Ramakrishna Y. S., Dillon L. K., Moser L. E., Melliar-Smith P. M., Kutty G. |
|
|
|
Lecture Notes in Computer Science |
28.12.1992 |
