Zum Inhalt springen

  5. Raschke, Alexander [Herausgeber:in]; Méry, Dominique [Herausgeber:in]; Houdek, Frank [Herausgeber:in]

    Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings - [1st ed. 2020.]

    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 International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Theoretical Computer Science and General Issues ; 12071 - Springer eBook Collection

  6. Houdek, Frank [Sonstige Person, Familie und Körperschaft]; Ernst, Dietmar [Sonstige Person, Familie und Körperschaft]; Schwinn, Thilo [Sonstige Person, Familie und Körperschaft]

    Prüfen von C-Code und Statemate-Matlab-Spezifikationen: ein Experiment

    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.

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

    Erschienen in: Ulmer Informatik-Berichte ; 98,11

  8. Föcker, Felix [Sonstige Person, Familie und Körperschaft]; Houdek, Frank [Sonstige Person, Familie und Körperschaft]; Daun, Marian [Sonstige Person, Familie und Körperschaft]; Weyer, Thorsten [Sonstige Person, Familie und Körperschaft]

    Model-based engineering of an automotive adaptive exterior lighting system : realistic example specifications of behavioral requirements and functional design

    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.

    Essen: ICB, 2015

    Erschienen in: Universität Duisburg-Essen: ICB research report ; 64

  9. Biechele, Bernd [Sonstige Person, Familie und Körperschaft]; Ernst, Dietmar [Sonstige Person, Familie und Körperschaft]; Houdek, Frank [Sonstige Person, Familie und Körperschaft]; Schmid, Joachim [Sonstige Person, Familie und Körperschaft]; Schulte, Wolfram [Sonstige Person, Familie und Körperschaft]

    Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen

    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.

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

    Erschienen in: Ulmer Informatik-Berichte ; 96,09

  10. Ernst, Dietmar [Sonstige Person, Familie und Körperschaft]; Houdek, Frank [Sonstige Person, Familie und Körperschaft]; Schulte, Wolfram [Sonstige Person, Familie und Körperschaft]; Schwinn, Thilo [Sonstige Person, Familie und Körperschaft]

    Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme

    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.

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

    Erschienen in: Ulmer Informatik-Berichte ; 97,13

  13. Föcker, Felix [Verfasser:in]; Houdek, Frank [Verfasser:in]; Daun, Marian [Verfasser:in]; Weyer, Thorsten [Verfasser:in]

    Model-based engineering of an automotive adaptive exterior lighting system: Realistic example specifications of behavioral requirements and functional design

    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.

    Essen: Universität Duisburg-Essen, Institut für Informatik und Wirtschaftsinformatik (ICB), 2015