Вы здесь

Kordon F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Model Based Development Approach for Distributed Embedded Systems 2004 Gilliers F., Kordon F., Regep D. Lecture Notes in Computer Science 27.04.2004
СТ A Modular Approach to the Specification and Validation of an Electrical Flight Control System 2001 Doche M., Vernier-Mounier I., Kordon F. Lecture Notes in Computer Science 06.04.2001
СТ Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System 2001 Bakam I., Kordon F., Le Page C., Bousquet F. Lecture Notes in Artificial Intelligence 05.11.2001
СТ MetaScribe, an Ada-based Tool for the Construction of Transformation Engines 1999 Kordon F. Lecture Notes in Computer Science 29.06.1999
СТ PN Standartization: A Survey 2006 Hillah L., Kordon F., Petrucci L., Treves N. Lecture Notes in Computer Science Lecture Notes in Computer Science 11.01.2007
СТ PoluORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications 2004 Vergnaud T., Hugues J., Pautet L., Kordon F. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.07.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Application and Theory of Petri Nets and Concurrency: Proc./37th International Conference, PETRI NETS 2016, Torun, Poland, June 2016 2016 Lecture Notes in Computer Science
  1. Kordon F.
  2. Moldt D.
09.08.2016
СБ Challenges and Opportunity with Big Data: Revised Selected Papers/19th Monterey Workshop 2016, Beijing, China, October 2016 2017 Lecture Notes in Computer Science
  1. Zhang L.
  2. Ren L.
  3. Kordon F.
26.09.2017
СБ Composition of Embedded Systems: Scientific and Industrial Issues: Revised Selected Papers/13th Monterey Workshop. Paris, France, October 2006 2007 Lecture Notes in Computer Science
  1. Kordon F.
  2. Sokolsky O.
05.03.2008
СБ Reliable Software Technologies - Ada-Europe 2007: Proc./12th Ada-Europe International Conference on Reliable Software Technologies. Geneva, Switzerland, June 2007 2007 Lecture Notes in Computer Science
  1. Abdennadher N.
  2. Kordon F.
08.09.2007
СБ Reliable Software Technologies - Ada-Europe 2008: Proc./13th Ada-Europe International Conference. Venice, Italy, June 2008 2008 Lecture Notes in Computer Science
  1. Kordon F.
  2. Vardanega T.
26.08.2008
СБ Reliable Software Technologies - Ada-Europe 2009: Proc./14th Ada-Europe International Conference, Brest, France, June 2009 2009 Lecture Notes in Computer Science
  1. Kordon F.
  2. Kermarres Y.
26.02.2010
СБ Reliable Systems on Unreliable Networked Platforms: Revised Selected Papers/12th Monterey Workshop 2005. Laguna Beach, CA, USA, September 2005 2007 Lecture Notes in Computer Science
  1. Kordon F.
  2. Sztipanovits J.
29.04.2007
СБ Tools and Algorithms for the Construction and Analysis of Systems, Part III: Proc./25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 2019 2019 Lecture Notes in Computer Science
  1. Beyer D.
  2. Huisman M.
  3. Kordon F.
  4. Steffen B.
25.04.2019