Вы здесь

Главная

Najm E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Exercise of TINA Concepts for a Video Broadcast Service over ATM Networks 1996 Fudoli T.R. T., Najm E. Lecture Notes in Computer Science Trends in Distributed Systems 05.11.1996
СТ Reactive EFSMs - Reactive Promela/RSPIN 1996 Najm E., Olsen F. Lecture Notes in Computer Science 24.04.1996

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ SDL 2007: Design for Dependable Systems: Proc./13th International SDL Forum. Paris, France, September 2007 2007 Lecture Notes in Computer Science
  1. Gaudin E.
  2. Najm E.
  3. Reed R.
 05.03.2008
СБ Formal Techniques for Networked and Distributed Systems - FORTE 2006: Proc./26th IFIP WG 6.1 International Conference. Paris, France, September 2006 2006 Lecture Notes in Computer Science
  1. Najm E.
  2. Pradat-Peyre J. -F.
  3. Donzeau-Gouge V. V.
 11.01.2007
СБ Formal Methods for Open Object-Based Distributed Systems: Proc./6th IFIP WG 6.1 Intern. Conf., FMOODS 2003, Paris, France, November 2003 2003 Lecture Notes in Computer Science
  1. Najm E.
  2. Nestmann U.
  3. Stevens P.
 18.12.2003