KIT | KIT-Bibliothek | Impressum | Datenschutz

Einsatz formaler Methoden bei Spezifikation und Entwurf von Kommunikationssoftware

Freudenmann, Johannes


Zugehörige Institution(en) am KIT Institut für Telematik (TM)
Publikationstyp Buchaufsatz
Publikationsjahr 1992
Sprache Deutsch
Identifikator KITopen-ID: 53992
Erscheinungsvermerk In: Forschungs- und Arbeitsgebiete des Instituts fuer Telematik. Hrsg.: G. Krueger. Karlsruhe 1992. S. 71-72. (Interner Bericht. Fakultaet fuer Informatik, Universitaet Karlsruhe. Nr. 1992,12.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page