|
СТ |
Functional Dependency for Verification Reduction |
2004 |
Jiang J.-H. R., Brayton R. K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
04.09.2004 |
|
СТ |
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 |
|
СТ |
The Rabin Index and Chain Automata, with Applications to Automata and Games |
1995 |
Krishnan S. C., Puri A., Brayton R. K., Varaiya P. P. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
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 |
|
СТ |
Automatic Datapath Abstraction in Hardware Systems |
1995 |
Hojati R., Brayton R. K. |
|
|
|
Lecture Notes in Computer Science |
26.07.1995 |
|
СТ |
Criteria for the Simple Path Property in Timed Automata |
1994 |
Lam W.K. C., Brayton R. K. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
