• A Case-Study on Manual Verific...
  • Inhaltsangabe

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:
Smyth, Steven (Verfasser) ; Domrös, Sören (Verfasser) ; von Hanxleden, Reinhard (Verfasser)
Veröffent­licht:
Kiel : Universitätsbibliothek Kiel, 2019
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Technische Berichte des Instituts für Informatik der CAU Kiel ; 1905

Zusatz-Informationen

Zusatz-Funktionen