Вы здесь

Главная

Gaudel M. -C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Testing for refinement in Circus 2011 Cavalcanti A., Gaudel M. -C. Acta Informatica 14.05.2011
СТ Formal Methods and Testing: Hypotheses, and Correctness Approximations 2005 Gaudel M. -C. Lecture Notes in Computer Science Lecture Notes in Computer Science 08.11.2005
СТ Testing from Formal Specifications, a Generic Approach 2001 Gaudel M. -C. Lecture Notes in Computer Science 10.06.2001
СТ Algebraic Imperative Specifications 2000 Gaudel M. -C., Zamulin A. V. Lecture Notes in Computer Science 18.02.2000
СТ Dynamic Systems with Implicit State 1999 Gaudel M. -C., Khoury C., Zamulin A. V. Lecture Notes in Computer Science 05.04.1999
СТ Testing can be Formal, too 1995 Gaudel M. -C. Lecture Notes in Computer Science 16.06.1995
СТ Software Reusability through Formal Specifications 1991 Moineau Th., Gaudel M. -C. Proc. of the First Intern. Workshop on Software Reusability 25.12.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Unifying Theories of Programming: Revised Selected Papers/4th International Symposium, UTP 2012, Paris, France, August 2012 2013 Lecture Notes in Computer Science
  1. Wolff B.
  2. Gaudel M. -C.
  3. Feliachi A.
 11.06.2013
СБ Theoretical Aspects of Computing - ICTAC 2010: Proc./7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 2010 2010 Lecture Notes in Computer Science
  1. Cavalcanti A.
  2. Deharbe D.
  3. Gaudel M. -C.
  4. Woodcock J.
 13.10.2010
СБ TAPSOFT`93: Theory and Practice of Software Development: Proc./4th Intern. Joint Conf. CAAP/FASE. Orsay, France, April 1993 1993 Lecture Notes in Computer Science
  1. Gaudel M. -C.
  2. Jouannaud J. -P.
 25.05.1993