Вы здесь

Sifakis J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Composition for Component-Based Modeling 2003 Gossler G., Sifakis J. Lecture Notes in Computer Science 31.01.2004
СТ Modeling Real-Time Systems - Challenges and Work Directions 2001 Sifakis J. Lecture Notes in Computer Science 03.11.2001
П Le Controle des Systemes Asynchrones: Concepts, Proprietes, Analyse Statique: These 1979 Sifakis J. Univ. de Grenoble 09.06.1995
СТ On the Synthesis of Discrete Controllers for Timed Systems 1995 Maler O., Pnueli A., Sifakis J. Lecture Notes in Computer Science 25.03.1995
СТ 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
СТ An Overview and Synthesis on Timed Process Algebras 1992 Nicollin X., Sifakis J. Lecture Notes in Computer Science 08.08.1992
СТ From ATP to Timed Graphs and Hybrid Systems 1992 Nicollin X., Sifakis J., Yovine S. Lecture Notes in Computer Science 08.08.1992
СТ Safety for Branching Time Semantics 1991 Bouajjani A., Fernandez J., Graf S., Rodriguez C., Sifakis J. Lecture Notes in Computer Science 11.09.1991
СТ Verification Methods for Finite Systems 1991 Bouajjani A., Sifakis J. Lecture Notes in Computer Science 21.05.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Embedded Systems Design: The ARTIST Roadmap for Research and Development 2005 Lecture Notes in Computer Science
  1. Boyssounouse B.
  2. Sifakis J.
06.05.2005
СБ Embedded Software: Proc./Second Intern. Conf., EMSOFT 2002, Grenoble, France. October 2002 2002 Lecture Notes in Computer Science
  1. Sangiovanni-Vincentelli A.
  2. Sifakis J.
11.11.2002