Monografie
Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen
- Language
-
Deutsch
- Notes
-
Stuttgart, Univ., Diss., 2006
- Identifier
-
983421420
- Subject
-
Model checking; Hochschulschrift
- Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:56 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
- Monografie
Associated
Other Objects (12)
Automatische Verifikation stochastischer Systeme
Modellierung und Verifikation von verteilten/parallelen Informationssystemen
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Verifikation sicherheitskritischer Regelsysteme unter Beachtung des Zeitverhaltens einer verteilten Rechenplattform
Formale Verifikation digitaler Systeme mit Petrinetzen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware : Modellkomposition zur Nutzung der funktionalen Verifikation
Informationsfusion für verteilte Systeme
Rechtemanagement in verteilten Systemen
Automatische Verifikation stochastischer Systeme
Modellierung und Verifikation von verteilten/parallelen Informationssystemen
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Verifikation sicherheitskritischer Regelsysteme unter Beachtung des Zeitverhaltens einer verteilten Rechenplattform
Formale Verifikation digitaler Systeme mit Petrinetzen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware : Modellkomposition zur Nutzung der funktionalen Verifikation
Informationsfusion für verteilte Systeme
Rechtemanagement in verteilten Systemen
Automatische Verifikation stochastischer Systeme
Modellierung und Verifikation von verteilten/parallelen Informationssystemen
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen
Verifikation sicherheitskritischer Regelsysteme unter Beachtung des Zeitverhaltens einer verteilten Rechenplattform
Formale Verifikation digitaler Systeme mit Petrinetzen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware : Modellkomposition zur Nutzung der funktionalen Verifikation
Informationsfusion für verteilte Systeme