Вы здесь

Главная

Mery D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Proof-Search and Countermodel Generation in Propositional BI Logic 2001 Galmiche D., Mery D. Lecture Notes in Computer Science 04.11.2001
СТ Predicate Diagrams for the Verification of Reactive Systems 2000 Cansell D., Mery D., Merz S. Lecture Notes in Computer Science 30.11.2000
СТ Formal Modeling of Services for Getting a Better Understanding of the Feature Interaction Problem: A Multi-view Approach 2000 Gibson P., Mery D. Lecture Notes in Computer Science 18.02.2000
СТ Formal Modeling of Services for Getting a Better Understanding of the Feature Interaction Problem 1999 Gibson P., Mery D. Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. 01.07.1999
СТ An Experiment in Parallelizing an Application Using Formal Methods 1998 Couturier R., Mery D. Lecture Notes in Computer Science 03.07.1998
СТ Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method 1998 Petin J. -F., Morel G., Mery D., Lamboley P. Lecture Notes in Computer Science 17.06.1998
СТ A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs 1994 Mokkedem A., Mery D. Lecture Notes in Artificial Intelligence 12.08.1994
СТ A Proof Environment for Concurrent Programs 1993 Brown N., Mery D. Lecture Notes in Computer Science 27.05.1993
СТ CROCOS: An Integrated Environment for Interactive Verification of SDL Specifications 1993 Mery D., Mokkedem A. Lecture Notes in Computer Science 07.05.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Rigorous State-Based Methods: Proc./8th International Conference, ABZ 2021, Ulm, Germany, June 2021 2021 Lecture Notes in Computer Science
  1. Raschke A.
  2. Mery D.
 30.06.2021
СБ Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020 2020 Lecture Notes in Computer Science
  1. Raschke A.
  2. Mery D.
  3. Houdek F.
 18.06.2020
СБ Model and Data Engineering: Proc./8th International Conference, MEDI 2018, Marrakesh, Morocco, October 2018 2018 Lecture Notes in Computer Science
  1. Abdelwahed E.H.
  2. Bellatreche L.
  3. Golfarelli M.
  4. Mery D.
 29.10.2018
СБ Theoretical Aspects of Computing - ICTAC 2014: Proc./11th International Colloquium, Bucharest, Romania, September 2014 2014 Lecture Notes in Computer Science
  1. Ciobanu G.
  2. Mery D.
 25.11.2014
СБ FM 2012: Formal Methods: Proc./18th International Symposium, Paris, France, August 2012 2012 Lecture Notes in Computer Science
  1. Giannakopoulou D.
  2. Mery D.
 03.09.2012
СБ Integrated Formal Methods: Proc./8th International Conference, IFM 2010, Nancy, France, October 2010 2010 Lecture Notes in Computer Science
  1. Mery D.
  2. Merz S.
 23.11.2010
СБ Advances in Image and Video Technology: Proc./Second Pacific Rim Symposium, PSVIT 2007. Santiago, Chile, December 2007 2007 Lecture Notes in Computer Science
  1. Mery D.
  2. Rueda L.
 15.04.2008
СБ Progress in Pattern Recognition, Image Analysis and Applications: Proc./ 12th Iberoamerican Congress on PR, CIARP 2007. Vina del Mar-Valparaiso, Chile, November 2007 2007 Lecture Notes in Computer Science
  1. Rueda L.
  2. Mery D.
  3. Kittler J.
 29.03.2008