Media type: E-Book Title: A Case-study on manual verification of state-based source code generated by KIELER SCCharts Contributor: Smyth, Steven [Author]; Domrös, Sören [Other]; Hanxleden, Reinhard von [Other] Corporation: Christian-Albrechts-Universität zu Kiel, Institut für Informatik imprint: Kiel: Christian-Albrechts-Universität zu Kiel, Institut für Informatik, December 2019 Published in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2019,5 Extent: Online-Ressource (20 Seiten, 967,19 KB); Diagramme Language: English Identifier: Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis Seite 13-14 Access State: Open Access