KIT | KIT-Bibliothek | Impressum | Datenschutz

Toolgestützte Codeanalyse von Telekommunikationssoftware in Chill

Genssler, Thomas; Ciupke, Oliver


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
FZI Forschungszentrum Informatik (FZI)
Publikationstyp Buch
Publikationsjahr 1997
Sprache Deutsch
Identifikator KITopen-ID: 220497
Erscheinungsvermerk Karlsruhe 1997. (FZI-Bericht.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page