Hochschulschrift
Techniken zur Modellierung und Verifikation von Echtzeitsystemen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897223257
3897223252
- Maße
-
21 cm
- Umfang
-
230 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 1999
- Schlagwort
-
Echtzeitsystem
Verifikation
Model Checking
Formale Spezifikationstechnik
Temporale Logik
Binäres Entscheidungsdiagramm
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Logos-Verl.
- (wann)
-
2000
- Urheber
-
Ruf, Jürgen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:32 MESZ
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
- Ruf, Jürgen
- Logos-Verl.
Entstanden
- 2000
Ähnliche Objekte (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