KIT | KIT-Bibliothek | Impressum

Einsatz formaler Methoden bei Spezifikation und Entwurf von Kommunikationssoftware

Freudenmann, Johannes



Zugehörige Institution(en) am KIT Institut für Telematik (TM)
Publikationstyp Buchaufsatz
Jahr 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