Skip to contents

  1. Fritzsche, Klemens [Author] ; Röbenack, Klaus [Degree supervisor]; Schöberl, Markus [Degree supervisor]; Zerz, Eva [Degree supervisor] Technische Universität Dresden

    Algebraische Flachheitsanalyse nichtlinearer Systeme

    Media type: Books
    View online
    Merkliste Schließen
    Merkliste
    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düren: Shaker Verlag, 2024

    Published in: Berichte aus der Steuerungs- und Regelungstechnik

  2. Keller, Hubert B. [Author]

    Echtzeitsimulation zur Prozeßführung komplexer Systeme : Entwurf und Realisierung eines Systems zur interaktiven graphischen Modellierung und zur modularen/verteilten Echtzeitsimulation verkoppelter dynamischer Systeme

    Media type: Books
    View online
    Merkliste 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, 1988

    Published in: Fachberichte Simulation ; 11

  3. Kowalewski, Stefan [Editor]; Roveri, Marco [Other] ; FMICS 15 2010 Antwerpen

    Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 ; proceedings

    Media type: Books
    View online
    Merkliste 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

    Published in: Lecture notes in computer science ; 6371

  4. Cofer, Darren [Editor]; Fantechi, Alessandro [Other] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

    Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers

    Media type: Books
    View online
    Merkliste 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

    Published in: Lecture notes in computer science ; 5596

  5. Alpuente, María [Editor]; Cook, Byron [Other]; Joubert, Christophe [Other] ; FMICS 14 2009 Eindhoven

    Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

    Media type: Books
    View online
    Merkliste 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

    Published in: Lecture notes in computer science ; 5825

  6. Leue, Stefan [Editor]; Merino, Pedro [Other] ; FMICS 12 2007 Berlin

    Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers

    Media type: Books
    View online
    Merkliste 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

    Published in: Lecture notes in computer science ; 4916

  7. Margaria, Tiziana [Editor] ; 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

    Media type: Books
    Merkliste 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-

    Published in: Lecture notes in computer science ; .

You did not find what you were looking for?