Вы здесь

Sifakis J.

Автор:

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

Редактор:

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