Zum Inhalt springen

  1. Shankar, Natarajan [Herausgeber:in]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; VSTTE 2 2008 Toronto

    Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 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 ; 5295

  2. Dong, Jin Song [Herausgeber:in] ; International Conference on Formal Engineering Methods 5 2003 Singapur

    Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, Singapore, November 5-7, 2003 ; 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, 2003

    Erschienen in: Lecture notes in computer science ; 2885

  3. 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. Liu, Shaoying [Herausgeber:in]; Maibaum, Tom [Sonstige Person, Familie und Körperschaft]; Araki, Keijiro [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 10 2008 Kitakyūshū

    Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 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 ; 5256

  5. Breitman, Karin [Sonstige Person, Familie und Körperschaft]; Cavalcanti, Ana [Sonstige Person, Familie und Körperschaft]; Breitman, Karin K. [Herausgeber:in] ; International Conference on Formal Engineering Methods 11 2009 Rio de Janeiro

    Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 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 ; 5885

  6. Butler, Michael [Herausgeber:in]; Hinchey, Michael G. [Sonstige Person, Familie und Körperschaft]; Larrondo-Petrie, Maria M. [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 9 2007 Boca Raton, Fla

    Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 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 ; 4789

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

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

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

  13. Dong, Jin Song [Herausgeber:in]; Zhu, Huibiao [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 12 2010 Schanghai

    Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; 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, 2010

    Erschienen in: Lecture notes in computer science ; 6447

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

  16. Simao, Adenilso [Herausgeber:in]; Morgan, Carroll [Sonstige Person, Familie und Körperschaft] ; SBMF 14 2011 São Paulo

    Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 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 ; 7021

  17. Meyer, Bertrand [Herausgeber:in]; Woodcock, Jim [Ausführende:r] ; VSTTE 1 2005 Zürich

    Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005 ; revised selected papers and discussions

    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 ; 4171