Treffer: A Case-study on manual verification of state-based source code generated by KIELER SCCharts
Titel:
A Case-study on manual verification of state-based source code generated by KIELER SCCharts / Steven Smyth, Sören Domrös, Reinhard von Hanxleden
Verantwortlich:
Körperschaft:
Veröffentlicht:
Kiel : Christian-Albrechts-Universität zu Kiel, 2019
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource (20 Seiten, 967,19 KB) : Diagramme
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Bericht / Institut für Informatik, Christian-Albrechts-Universität zu Kiel ; Bericht Nr. 1905
Anmerkungen:
Literaturverzeichnis Seite 13-14
Schlagworte: