Hochschulschrift
Techniken zur Modellierung und Verifikation von Echtzeitsystemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897223257
3897223252
- Dimensions
-
21 cm
- Extent
-
230 S.
- Language
-
Deutsch
- Notes
-
Ill., graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 1999
- Keyword
-
Echtzeitsystem
Verifikation
Model Checking
Formale Spezifikationstechnik
Temporale Logik
Binäres Entscheidungsdiagramm
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Logos-Verl.
- (when)
-
2000
- Creator
-
Ruf, Jürgen
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:32 PM CEST
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
- Ruf, Jürgen
- Logos-Verl.
Time of origin
- 2000
Other Objects (12)
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
Zur Modellierung von Kriechhängen
Numerische Modellierung gepulst betriebener Hochdruckentladungslampen
Modellierung der Festigkeit poröser Keramiken
Effiziente Modellierung leitfähiger Schirme im Zeitbereich
Integrierte Modellierung von Kontroll- und Datenfluß
Geometrische Modellierung und Transporteigenschaften poröser Medien
Modellierung von Finanzmärkten durch Sprung-Diffusions-Prozesse
Probleme der SETAR-Modellierung in der Zeitreihenanalyse
Objektorientierter Hardware-Entwurf : Modellierung, Simulation und Synthese
Modellierung und Analyse des Professionswissens von Physiklehrkräften
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
Zur Modellierung von Kriechhängen
Numerische Modellierung gepulst betriebener Hochdruckentladungslampen
Modellierung der Festigkeit poröser Keramiken
Effiziente Modellierung leitfähiger Schirme im Zeitbereich
Integrierte Modellierung von Kontroll- und Datenfluß
Geometrische Modellierung und Transporteigenschaften poröser Medien
Modellierung von Finanzmärkten durch Sprung-Diffusions-Prozesse
Probleme der SETAR-Modellierung in der Zeitreihenanalyse
Objektorientierter Hardware-Entwurf : Modellierung, Simulation und Synthese
Modellierung und Analyse des Professionswissens von Physiklehrkräften
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
Zur Modellierung von Kriechhängen
Numerische Modellierung gepulst betriebener Hochdruckentladungslampen
Modellierung der Festigkeit poröser Keramiken
Effiziente Modellierung leitfähiger Schirme im Zeitbereich
Integrierte Modellierung von Kontroll- und Datenfluß
Geometrische Modellierung und Transporteigenschaften poröser Medien
Modellierung von Finanzmärkten durch Sprung-Diffusions-Prozesse
Probleme der SETAR-Modellierung in der Zeitreihenanalyse
Objektorientierter Hardware-Entwurf : Modellierung, Simulation und Synthese