Skip to contents

  3. Cavalcanti, Ana [Editor]; Deharbe, David [Other]; Gaudel, Marie-Claude [Other]; Woodcock, Jim [Other] ; ICTAC 7 2010 Natal, Rio Grande do Norte

    Theoretical aspects of computing - ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Published in: Lecture notes in computer science ; 6255

  4. Gaudel, Marie-Claude [Other] ; FME 3 1996 Oxford

    FME '96: industrial benefit and advances in formal methods : third International Symposium of Formal Methods Europe, co-sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin [u.a.]: Springer, 1996 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 105100

  5. Gaudel, Marie-Claude [Other] ; TAPSOFT 5 1993 Orsay, CAAP 18 1993 Orsay, FASE 1993 Orsay

    TAPSOFT '93: theory and practice of software development : 4th international joint conference, CAAP/FASE, Orsay, France, April 13 - 17, 1993 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin [u.a.]: Springer, 1993 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 66800

  6. Gaudel, Marie-Claude [Author] ; Woodcock, James [Other]

    FME '96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1996

    Published in: Lecture notes in computer science ; 1051

  11. Cavalcanti, Ana [Author] ; Deharbe, David [Other]; Gaudel, Marie-Claude [Other]; Woodcock, Jim [Other]

    Theoretical Aspects of Computing – ICTAC 2010 : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Published in: Lecture notes in computer science ; 6255

  13. Silva, Paulo Salem da [Author] ; Paris 11 [Contributor]; Universidade de São Paulo (Brésil) [Contributor]; Gaudel, Marie-Claude [Contributor]; Vieira De Melo, Ana Cristina [Contributor]

    Verification of behaviourist multi-agent systems by means of formally guided simulations ; Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2011-11-28

  14. Jones, Cliff [Author]; Lomet, David [Author]; Romanovsky, Alexander [Author]; Weikum, Gerhard [Author]; Fekete, Alan [Author]; Gaudel, Marie-Claude [Author]; Korth, Henry F. [Author]; de Lemos, Rogerio [Author]; Moss, Eliot [Author]; Rajwar, Ravi [Author]; Ramamritham, Krithi [Author]; Randell, Brian [Author]; Rodrigues, Luis [Author] ; Cliff Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogerio de Lemos and Eliot Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luis Rodrigues [Contributor]

    The Atomic Manifesto: a Story in Four Quarks

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2004