TY - GEN
AU - Smyth, Steven
AU - Christian-Albrechts-Universität zu Kiel Institut für Informatik
AU - Domrös, Sören
AU - Hanxleden, Reinhard von
TI - A Case-study on manual verification of state-based source code generated by KIELER SCCharts
PB - Christian-Albrechts-Universität zu Kiel, Institut für Informatik
KW - Forschungsbericht
PY - December 2019
N2 - Literaturverzeichnis Seite 13-14
BT - Bericht / Institut für Informatik, Christian-Albrechts-Universität zu Kiel ; Bericht Nr. 1905
CY - Kiel
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-1697705359&tx_find_find%5Btype%5D=ris
ER -
Download citation