- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826588433
3826588436
- Dimensions
-
21 cm
- Extent
-
IV, 146 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Darmstadt, Techn. Univ., Diss., 2001
- Keyword
-
Eingebettetes System
Hardwareentwurf
Softwareentwicklung
Spezifikationstechnik
Funktionseinheit
Prozessalgebra
Eingebettetes System
Hardwareentwurf
Softwareentwicklung
Spezifikationstechnik
Funktionseinheit
Scheduling
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
2001
- Creator
-
Boßung, Wolfgang
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:22 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
- Boßung, Wolfgang
- Shaker
Time of origin
- 2001
Other Objects (12)
System-Level-Entwurfsmethodik eingebetteter Systeme
Modellierung und Simulation software-intensiver eingebetteter Systeme
Analyse des Entwurfsraumes gemischt analog-digitaler eingebetteter Systeme
Der Einsatz von Java im Bereich eingebetteter Systeme
Integration von Verzögerungszeit-Invarianz in den Entwurf eingebetteter Systeme
SDL.RT-basierter Entwurf und Implementierung eingebetteter zeit- und sicherheitskritischer Systeme
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Funktionale Integration technischer DV-Systeme durch den Einsatz verteilter Systeme
Integration und Analyse von Artefakten in der modellbasierten Entwicklung eingebetteter Software
Systematisierung des funktionalen Tests eingebetteter Software
System-Level-Entwurfsmethodik eingebetteter Systeme
Modellierung und Simulation software-intensiver eingebetteter Systeme
Analyse des Entwurfsraumes gemischt analog-digitaler eingebetteter Systeme
Der Einsatz von Java im Bereich eingebetteter Systeme
Integration von Verzögerungszeit-Invarianz in den Entwurf eingebetteter Systeme
SDL.RT-basierter Entwurf und Implementierung eingebetteter zeit- und sicherheitskritischer Systeme
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Funktionale Integration technischer DV-Systeme durch den Einsatz verteilter Systeme
Integration und Analyse von Artefakten in der modellbasierten Entwicklung eingebetteter Software
Systematisierung des funktionalen Tests eingebetteter Software
System-Level-Entwurfsmethodik eingebetteter Systeme
Modellierung und Simulation software-intensiver eingebetteter Systeme
Analyse des Entwurfsraumes gemischt analog-digitaler eingebetteter Systeme
Der Einsatz von Java im Bereich eingebetteter Systeme
Integration von Verzögerungszeit-Invarianz in den Entwurf eingebetteter Systeme
SDL.RT-basierter Entwurf und Implementierung eingebetteter zeit- und sicherheitskritischer Systeme
Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Eine Sprache zur formalen Spezifikation eingebetteter Systeme
Funktionale Integration technischer DV-Systeme durch den Einsatz verteilter Systeme
Integration und Analyse von Artefakten in der modellbasierten Entwicklung eingebetteter Software