Publications from our group in the Academic Bibliography of TU Ilmenau

Anzahl der Treffer: 189
Erstellt: Thu, 25 Apr 2024 23:14:40 +0200 in 0.0767 sec


Gastinger, Almuth;
Ein Ansatz zur Programmierung von verteilten speicherprogrammierbaren Steuerungen. - In: Vortragsreihen Softwaretechnik/Prozeßinformatik, Kommunikation in verteilten Systemen, Computergrafik, Datenbanken, Parallele Systeme, Anwendungen von Petri-Netzen, OMSI-Workshop, (1994), S. 586-591

Finn, Lutz;
Aspekte des Entwurfs spezialisierter Mikroprozessrechner-Architekturen, 1993. - 110, A15, B18 S. Ilmenau : Techn. Univ., Diss., 1993

Fengler, Wolfgang;
Erfahrungen mit Petri-Netz-Tools in der Ausbildung für verschiedene Studiengänge. - In: Multimedia und Computeranwendungen in der Lehre, (1992), S. 172-183

Unger, Herwig; Ben Achour, Khaled
A Petri-Net-based method to the design of parallel programs for a multiprocessor system. - In: Parallel processing: CONPAR 92 - VAPP V, (1992), S. 749-754

http://dx.doi.org/10.1007/3-540-55895-0_479
Fengler, Wolfgang; Sörgel, Ulrike; Gastinger, Almuth
Implementierungsmethodik von Programmen und Entwicklungsumgebungen für modulare Mehrrechner-Prozeßautomatisierungssysteme. - In: Prozeßrechensysteme '91, (1991), S. 304-312

Riebisch, Matthias;
Halbformale Beschreibung von Software zum Zweck ihrer Wiederverwendung. - In: Internationales wissenschaftliches Kolloquium / Technische Hochschule Ilmenau, ISSN 0374-3365, Bd. 36 (1991), 4, S. 787-796

Unger, Herwig; Böhme, Thomas
Zur Generation von Software aus Petrinetzen auf der Basis der Markenflußanalyse. - In: Internationales wissenschaftliches Kolloquium / Technische Hochschule Ilmenau, ISSN 0374-3365, Bd. 36 (1991), 4, S. 781-786

Knorr, Roger;
Computergestützte Entwicklung von Kommunikationsprotokollen : Spezifikation, Verifikation und Implementierung von Petri-Netzen. - In: Internationales wissenschaftliches Kolloquium / Technische Hochschule Ilmenau, ISSN 0374-3365, Bd. 36 (1991), 4, S. 761-768

Fengler, Wolfgang; Philippow, Ilka
Entwurf industrieller Microcomputersysteme : mit 50 Tabellen. - München : Hanser, 1991. - VIII, 333 S. ISBN 3-446-16150-3
Literaturverz. S. 315 - 327