Zum Inhalt springen

  1. Petrenko, Alexandre [Herausgeber:in] ; International Workshop on Formal Approaches to Testing of Software 3 2003 Montréal

    Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, Montreal, Quebec, Canada, October 6th, 2003 ; revised papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 2931

  2. Grieskamp, Wolfgang [Herausgeber:in]; Weise, Carsten [Sonstige Person, Familie und Körperschaft] ; FATES 5 2005 Edinburgh

    Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 3997

  4. Suzuki, Kenji [Herausgeber:in] ; TestCom 20 2008 Tokio, FATES 8 2008 Tokio

    Testing of software and communicating systems : 20th IFIP TC6/WG6.1 international conference, TestCom 2008, 8th international workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 5047

  5. Núñez, Manuel [Herausgeber:in]; Baker, Paul [Sonstige Person, Familie und Körperschaft]; Merayo, Mercedes G. [Sonstige Person, Familie und Körperschaft] ; TestCom 21 2009 Eindhoven, FATES 9 2009 Eindhoven

    Testing of software and communication systems : 21st IFIP WG 6.1 international conference, TESTCOM 2009 and 9th international workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 5826

  6. Petrenko, Alexandre [Herausgeber:in]; Veanes, Margus [Sonstige Person, Familie und Körperschaft]; Tretmans, Jan [Sonstige Person, Familie und Körperschaft]; Grieskamp, Wolfgang [Sonstige Person, Familie und Körperschaft] ; TestCom 19 2007 Tallinn, FATES 7 2007 Tallinn

    Testing of software and communicating systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26 - 29, 2007 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 4581

  7. Havelund, Klaus [Herausgeber:in] ; FATES 6 2006 Seattle, Wash, International Workshop on Runtime Verification 6 2006 Seattle, Wash

    Formal approaches to software testing and runtime verification : first combined international workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15 - 16, 2006 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 4262

  10. Bouré, Olivier [Verfasser:in] ; Université de Lorraine [Mitwirkende:r]; Chevrier, Vincent [Mitwirkende:r]; Fatès, Nazim [Mitwirkende:r]

    "Le simple est-il robuste ?" : une étude de la robustesse des systèmes complexes par les automates cellulaires ; "Is simple also robust?" : a study of the robustness of complex systems through cellular automata

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-09-13