KIT | KIT-Bibliothek | Impressum | Datenschutz

Entwurfsvalidation für verteilte Informationssysteme mit dem graphischen, mehrbenutzerfähigen Pr/T-Netz-Simulator GAPS+

Saenger, Volker; Weitz, Wolfgang



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Deutsch
Identifikator KITopen-ID: 246395
Erscheinungsvermerk In: Herausforderungen eines globalen Informationsverbundes für die Informatik. GISI 95. Hrsg.: F. Huber-Wäschle. Berlin 1995. S. 407-414. (Informatik aktuell.)(GI-Jahrestagung. 25.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page