Zum Inhalt springen

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

  8. Liu, Zhiming [Herausgeber:in]; He, Jifeng [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 8 2006 Macau

    Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006 ; 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, 2006

    Erschienen in: Lecture notes in computer science ; 4260

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

  11. Heisel, Maritta [Herausgeber:in]; Liggesmeyer, Peter [Sonstige Person, Familie und Körperschaft]; Wittmann, Stefan [Sonstige Person, Familie und Körperschaft] ; SAFECOMP 23 2004 Potsdam

    Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21 - 24, 2004 ; 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, 2004

    Erschienen in: Lecture notes in computer science ; 3219

  17. Gaudin, Emmanuel [Herausgeber:in]; Najm, Elie [Sonstige Person, Familie und Körperschaft]; Reed, Rick [Sonstige Person, Familie und Körperschaft] ; SDL 13 2007 Paris

    SDL 2007: design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 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 ; 4745