Hochschulschrift
Zeitbewertete Prädikat-Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Deutsch
- Notes
-
Koblenz, Landau (Pfalz), Univ., Campus Koblenz, Diss., 2009
- Creator
- URN
-
urn:nbn:de:hbz:kob7-4287
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Prädikat/Transitions-Netze zur Steuerung von Prozessen
Ein Beitrag zur Anwendung von Prädikat/Transitions-Netzen zur Modellierung und Simulation von Fertigungsprozessen
Modellierung und Synthese von Kommunikationsstrukturen für eingebettete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Objektorientierter Entwurf verteilter eingebetteter Echtzeitsysteme auf Basis höherer Petri-Netze
Komponierbarkeit eingebetteter Echtzeitsysteme
Entwurf und Verifikation paralleler Steuerungssysteme auf der Basis der Petri- und der Prädikat/Transitions-Netze
Energieeffiziente Schedulingalgorithmen für Echtzeitsysteme
Echtzeitsysteme : Grundlagen der Planung
Echtzeitsysteme : Grundlagen der Planung
Prädikat/Transitions-Netze zur Steuerung von Prozessen
Ein Beitrag zur Anwendung von Prädikat/Transitions-Netzen zur Modellierung und Simulation von Fertigungsprozessen
Modellierung und Synthese von Kommunikationsstrukturen für eingebettete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Objektorientierter Entwurf verteilter eingebetteter Echtzeitsysteme auf Basis höherer Petri-Netze
Komponierbarkeit eingebetteter Echtzeitsysteme
Entwurf und Verifikation paralleler Steuerungssysteme auf der Basis der Petri- und der Prädikat/Transitions-Netze
Energieeffiziente Schedulingalgorithmen für Echtzeitsysteme
Echtzeitsysteme : Grundlagen der Planung
Echtzeitsysteme : Grundlagen der Planung
Prädikat/Transitions-Netze zur Steuerung von Prozessen
Ein Beitrag zur Anwendung von Prädikat/Transitions-Netzen zur Modellierung und Simulation von Fertigungsprozessen
Modellierung und Synthese von Kommunikationsstrukturen für eingebettete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Sicherheitsgerichtete Echtzeitsysteme
Objektorientierter Entwurf verteilter eingebetteter Echtzeitsysteme auf Basis höherer Petri-Netze
Komponierbarkeit eingebetteter Echtzeitsysteme
Entwurf und Verifikation paralleler Steuerungssysteme auf der Basis der Petri- und der Prädikat/Transitions-Netze
Energieeffiziente Schedulingalgorithmen für Echtzeitsysteme
Echtzeitsysteme : Grundlagen der Planung