Hochschulschrift
Zeitbewertete Prädikat-Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Deutsch
- Anmerkungen
-
Koblenz, Landau (Pfalz), Univ., Campus Koblenz, Diss., 2009
- Urheber
- URN
-
urn:nbn:de:hbz:kob7-4287
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
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
Ähnliche Objekte (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