|
СТ |
A Verification Strategy for Timing Constrained Systems |
1993 |
Balarin F., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
07.05.1993 |
|
СТ |
Formula-Dependent Equivalence for Compositional CTL Model Checking |
1994 |
Aziz A., Shiple T. R., Singhal V., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
28.07.1994 |
|
СТ |
On the Automatic Computation of Network Invariants |
1994 |
Balarin F., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
28.07.1994 |
|
СТ |
Supervisory Control of Finite State Machines |
1995 |
Aziz A., Balarin F., Brayton R. K., Dibenedetto M. D., Saldanha A., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
It Usually Works: The Temporal Logic of Stochastic Systems |
1995 |
Aziz A., Singhal V., Balarin F., Brayton R. K., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
Using Multiple Levels of Abstractions in Embedded Software Design |
2001 |
Burch J. R., Passerone R., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
03.11.2001 |
