Zum Inhalt springen

  1. Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 4 2010 Heraklion

    Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings

    Bücher
    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, 20XX-

    Erschienen in: Lecture notes in computer science ; .

  3. Lang, Frédéric [VerfasserIn] ; Flammini, Francesco [HerausgeberIn]

    Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. 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.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8718

  4. Pecheur, Charles [VerfasserIn] ; Dierkes, Michael [HerausgeberIn]

    Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. 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, 2013

    Erschienen in: Lecture notes in computer science ; 8187

  5. Stoelinga, Mariëlle [VerfasserIn] ; Pinger, Ralf [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. 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, 2012

    Erschienen in: Lecture notes in computer science ; 7437

  6. Cavalcanti, Ana [HerausgeberIn]; Seceleanu, Cristina [HerausgeberIn]

    Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, 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.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10471

  7. ter Beek, Maurice H. [HerausgeberIn]; Gnesi, Stefania [HerausgeberIn]; Knapp, Alexander [HerausgeberIn]

    Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, 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.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 9933

  8. Nuñez, Manuel [HerausgeberIn]; Güdemann, Matthias [HerausgeberIn]

    Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 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.

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9128

  9. Salaün, Gwen [VerfasserIn] ; Schätz, Bernhard [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-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: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6959