Zum Inhalt springen

  1. Smyth, Steven [VerfasserIn] ; Domrös, Sören [Sonstige Person, Familie und Körperschaft]; Hanxleden, Reinhard von [Sonstige Person, Familie und Körperschaft] Christian-Albrechts-Universität zu Kiel Institut für Informatik

    A Case-study on manual verification of state-based source code generated by KIELER SCCharts

    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.

    Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, December 2019

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2019,5

  2. Domrös, Sören [VerfasserIn]; Hanxleden, Reinhard von [VerfasserIn] ; Christian-Albrechts-Universität zu Kiel Institut für Informatik

    Preserving order during crossing minimization in Sugiyama layouts

    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.

    Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, Nov 2021

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2021,3

  4. Smyth, Steven [VerfasserIn]; Domrös, Sören [VerfasserIn]; von Hanxleden, Reinhard [VerfasserIn]

    A Case-Study on Manual Verification of State-based Source Code Generated by KIELER SCCharts

    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.

    MACAU: Open Access Repository of Kiel University, 2019

  5. Smyth, Steven [VerfasserIn]; Motika, Christian [VerfasserIn]; Schulz-Rosengarten, Alexander [VerfasserIn]; Domrös, Sören [VerfasserIn]; Grimm, Lena [VerfasserIn]; Stange, Andreas [VerfasserIn]; von Hanxleden, Reinhard [VerfasserIn]

    SCCharts: The Mindstorms Report

    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.

    MACAU: Open Access Repository of Kiel University, 2019

  6. von Hanxleden, Reinhard; Lee, Edward A.; Fuhrmann, Hauke; Schulz-Rosengarten, Alexander; Domrös, Sören; Lohstroh, Marten; Bateni, Soroush; Menard, Christian

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: Pragmatics Twelve Years Later: A Report on Lingua Franca

    Aufsätze
    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.

    Springer Nature Switzerland, 2022

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering