СТ |
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis |
2002 |
Balarin F., Lavagno L., Passerone C., Watanabe Y. |
|
|
|
Lecture Notes in Computer Science |
12.11.2002 |
СТ |
Priority Assignment for Embedded Reactive Real-Time Systems |
1998 |
Balarin F. |
|
|
|
Lecture Notes in Computer Science |
10.10.1998 |
СТ |
Correctness of the Concurrent Approach to Symbolic Verification of Interleaved Models |
1998 |
Balarin F. |
|
|
|
Lecture Notes in Computer Science |
03.07.1998 |
СТ |
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 |
СТ |
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 |
СТ |
Equivalence for Fair Kripke Structures |
1994 |
Aziz A., Singhal V., Balarin F. |
|
|
|
Lecture Notes in Computer Science |
11.08.1994 |
СТ |
On the Automatic Computation of Network Invariants |
1994 |
Balarin F., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
28.07.1994 |
СТ |
A Verification Strategy for Timing Constrained Systems |
1993 |
Balarin F., Sangiovanni-Vincentelli A. L. |
|
|
|
Lecture Notes in Computer Science |
07.05.1993 |