Вы здесь

Yovine S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Speedup Prediction for Selective Compilation of Embedded Java Programs 2002 De Verdiere V. C., Cros S., Fabre C., Guider R., Yovine S. Lecture Notes in Computer Science 12.11.2002
СТ Using Abstractions for the Verification of Linear Hybrid Systems 1994 Olivero A., Sifakis J., Yovine S. Lecture Notes in Computer Science 21.07.1994
СТ An Approach to the Description and Analysis of Hybrid Systems 1993 Nicollin X., Olivero A., Sifakis J., Yovine S. Lecture Notes in Computer Science 09.12.1993
СТ Integration Graphs: A Class of Decidable Hybrid Systems 1993 Kesten Y., Pnueli A., Sifakis J., Yovine S. Lecture Notes in Computer Science 09.12.1993
СТ From ATP to Timed Graphs and Hybrid Systems 1992 Nicollin X., Sifakis J., Yovine S. Lecture Notes in Computer Science 08.08.1992