Zum Inhalt springen

  1. 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. 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

  5. Wolff, Burhart [Sonstige Person, Familie und Körperschaft]; Zai̇di, Fatiha [Sonstige Person, Familie und Körperschaft]; Wolff, Burkhart [Herausgeber:in] ; ICTSS 23 2011 Paris

    Testing software and systems : 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 ; 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, 2011

    Erschienen in: Lecture notes in computer science ; 7019

  6. Sokolsky, Oleg [Herausgeber:in]; Taşiran, Serdar [Sonstige Person, Familie und Körperschaft] ; International Workshop on Runtime Verification 7 2007 Vancouver, British Columbia

    Runtime verification : 7th international workshop, RV 2007, Vancover, Canada, March 13, 2007 ; 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, 2007

    Erschienen in: Lecture notes in computer science ; 4839

  7. 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

  8. 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

  15. Qin, Shengchao [Herausgeber:in]; Qiu, Zongyan [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 13 2011 Durham

    Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 ; 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: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6991

  16. Barthe, Gilles [Herausgeber:in]; Pardo, Alberto [Sonstige Person, Familie und Körperschaft]; Schneider, Gerardo [Sonstige Person, Familie und Körperschaft] ; SEFM 9 2011 Montevideo

    Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; 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, 2011

    Erschienen in: Lecture notes in computer science ; 7041

  18. Barner, Sharon [Herausgeber:in]; Harris, Ian [Sonstige Person, Familie und Körperschaft]; Kroening, Daniel [Sonstige Person, Familie und Körperschaft]; Raz, Orna [Sonstige Person, Familie und Körperschaft] ; International Haifa Verification Conference 6 2010 Haifa

    Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; 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, 2011

    Erschienen in: Lecture notes in computer science ; 6504