*Result*: A Case-study on manual verification of state-based source code generated by KIELER SCCharts
*Title*:
A Case-study on manual verification of state-based source code generated by KIELER SCCharts / Steven Smyth, Sören Domrös, Reinhard von Hanxleden
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Kiel : Christian-Albrechts-Universität zu Kiel, 2019
*Distribution*:
Hannover : Technische Informationsbibliothek (TIB)
*Physical description scale*:
Online-Ressource (20 Seiten, 967,19 KB) : Diagramme
*Format*:
*Language*:
*eng*
*series_multipart*:
Bericht / Institut für Informatik, Christian-Albrechts-Universität zu Kiel ; Bericht Nr. 1905
*Notes*:
Literaturverzeichnis Seite 13-14
*Subject Added Keywords*: