- Sprache
-
Deutsch
- Anmerkungen
-
München, Techn. Univ., Diss., 2000
- Identifier
-
962058017
Thema
Echtzeitsystem ; Verteiltes System ; Systementwurf ; Stochastische Optimierung ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Sprachbasierte Konstruktion sicherer Systeme
Ein stochastisches Verfahren zur globalen Optimierung bei diskreten und kontinuierlichen Variablen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Automated design of efficient fail-safe fault tolerance
Integriertes Management erweiterbarer verteilter Systeme
Ein generativer Ansatz zur Konstruktion des Managements verteilter kooperierender Systeme aus abstrakten Spezifikationen
Robust design optimization of structures under uncertainties
Ein Produktmodell für die Entwicklung verteilter Informationssysteme
Performance estimation for the design space exploration of system-on-chip solutions
Interoperable Nutzung verteilter Geodatenbanken mittels standardisierter Geo-Web-Services
Realzeitfähiges Datenmanagement für eingebettete Systeme mit aktiven Realzeitdatenbanken
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Sprachbasierte Konstruktion sicherer Systeme
Ein stochastisches Verfahren zur globalen Optimierung bei diskreten und kontinuierlichen Variablen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Automated design of efficient fail-safe fault tolerance
Integriertes Management erweiterbarer verteilter Systeme
Ein generativer Ansatz zur Konstruktion des Managements verteilter kooperierender Systeme aus abstrakten Spezifikationen
Robust design optimization of structures under uncertainties
Ein Produktmodell für die Entwicklung verteilter Informationssysteme
Performance estimation for the design space exploration of system-on-chip solutions
Interoperable Nutzung verteilter Geodatenbanken mittels standardisierter Geo-Web-Services
Realzeitfähiges Datenmanagement für eingebettete Systeme mit aktiven Realzeitdatenbanken
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Sprachbasierte Konstruktion sicherer Systeme
Ein stochastisches Verfahren zur globalen Optimierung bei diskreten und kontinuierlichen Variablen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Automated design of efficient fail-safe fault tolerance
Integriertes Management erweiterbarer verteilter Systeme
Ein generativer Ansatz zur Konstruktion des Managements verteilter kooperierender Systeme aus abstrakten Spezifikationen
Robust design optimization of structures under uncertainties
Ein Produktmodell für die Entwicklung verteilter Informationssysteme
Performance estimation for the design space exploration of system-on-chip solutions
Interoperable Nutzung verteilter Geodatenbanken mittels standardisierter Geo-Web-Services