SMARAGD. Ein Werkzeug zur Spezifikation, Modellierung und Analyse verteilter Systeme
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik (IAI) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1993 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 230033696 |
| HGF-Programm | 52.01.02 (Vor POF, LK 01) |
| Erscheinungsvermerk | 3.Fachtagung Entwurf komplexer Automatisierungssysteme, Braunschweig, 13.-14.Mai 1993 |