- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Ulm, Universität Ulm, Diss., 1999
- Schlagwort
-
Abstrakte Zustandsmaschine
Dynamische Logik
Verfeinerung
Korrektheit
Abstrakte Zustandsmaschine
PROLOG
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm. Fakultät für Informatik
- (wann)
-
1999
- Urheber
- URN
-
urn:nbn:de:bsz:289-vts-3468
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 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
- Schellhorn, Gerhard
- Universität Ulm. Fakultät für Informatik
Entstanden
- 1999
Ähnliche Objekte (12)
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Spezifikation und Verifikation abstrakter Datentypen
Verifikation unvollständiger Schaltkreise
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Vollständige funktionale Verifikation
Verifikation regelbasierter Konfigurationssysteme
Automatische Verifikation stochastischer Systeme
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Funktionelle Verifikation synchroner, digitaler Systeme
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Spezifikation und Verifikation abstrakter Datentypen
Verifikation unvollständiger Schaltkreise
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Vollständige funktionale Verifikation
Verifikation regelbasierter Konfigurationssysteme
Automatische Verifikation stochastischer Systeme
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen
Funktionelle Verifikation synchroner, digitaler Systeme
Verifikation abstrakter Zustandsmaschinen
Verifikation abstrakter Zustandsmaschinen
Spezifikation und Verifikation abstrakter Datentypen
Verifikation unvollständiger Schaltkreise
Verifikation von Worthypothesen
Verifikation unvollständiger Schaltkreise
Vollständige funktionale Verifikation
Verifikation regelbasierter Konfigurationssysteme
Automatische Verifikation stochastischer Systeme
Symbolische LTL-Verifikation von Petrinetzen
Symbolische LTL-Verifikation von Petrinetzen