Hochschulschrift
Entwurf und Verifikation paralleler Steuerungssysteme auf der Basis der Petri- und der Prädikat/Transitions-Netze
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
Getr. Zählung
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Dresden, Techn. Univ., Diss. A, 1986 (Nicht f.d. Austausch)
- Urheber
-
Karkev, Stefan
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:10 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Karkev, Stefan
Ähnliche Objekte (12)
Design Patterns of Parallel Control Systems : = Entwurfsmuster paralleler Steuerungssysteme
Design patterns of parallel control systems : = Entwurfsmuster paralleler Steuerungssysteme
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
Eine Methode zur Verifikation von Prädikat/Transitions-Netzen und ihr Vergleich mit dem Hoare-Kalkül zur Programmverifikation
Simulation von SIMD-Feldrechnerstrukturen für die Ausführung, Analyse und Verifikation paralleler Algorithmen
Effizienzabschätzungen und experimentelle Verifikation paralleler Algorithmen für lineare Gleichungssysteme der VLSI-Netzwerksimulation
Prädikat/Transitions-Netze zur Steuerung von Prozessen
Zeitdiskrete Steuerungssysteme
Zeitdiskrete Steuerungssysteme
Zeitdiskrete Steuerungssysteme
Hierarchische Steuerungssysteme
IT-basierte Steuerungssysteme
Design Patterns of Parallel Control Systems : = Entwurfsmuster paralleler Steuerungssysteme
Design patterns of parallel control systems : = Entwurfsmuster paralleler Steuerungssysteme
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
Eine Methode zur Verifikation von Prädikat/Transitions-Netzen und ihr Vergleich mit dem Hoare-Kalkül zur Programmverifikation
Simulation von SIMD-Feldrechnerstrukturen für die Ausführung, Analyse und Verifikation paralleler Algorithmen
Effizienzabschätzungen und experimentelle Verifikation paralleler Algorithmen für lineare Gleichungssysteme der VLSI-Netzwerksimulation
Prädikat/Transitions-Netze zur Steuerung von Prozessen
Zeitdiskrete Steuerungssysteme
Zeitdiskrete Steuerungssysteme
Zeitdiskrete Steuerungssysteme
Hierarchische Steuerungssysteme
IT-basierte Steuerungssysteme
Design Patterns of Parallel Control Systems : = Entwurfsmuster paralleler Steuerungssysteme
Design patterns of parallel control systems : = Entwurfsmuster paralleler Steuerungssysteme
Verifikation und Validation paralleler Busse in Leittechnik-Systemen
Eine Methode zur Verifikation von Prädikat/Transitions-Netzen und ihr Vergleich mit dem Hoare-Kalkül zur Programmverifikation
Simulation von SIMD-Feldrechnerstrukturen für die Ausführung, Analyse und Verifikation paralleler Algorithmen
Effizienzabschätzungen und experimentelle Verifikation paralleler Algorithmen für lineare Gleichungssysteme der VLSI-Netzwerksimulation
Prädikat/Transitions-Netze zur Steuerung von Prozessen
Zeitdiskrete Steuerungssysteme
Zeitdiskrete Steuerungssysteme
Zeitdiskrete Steuerungssysteme
Hierarchische Steuerungssysteme