Вы здесь

Balarin F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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