Hochschulschrift | Online-Publikation
Verification in the hierarchical development of reactive systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Mannheim, Univ., Diss., 2001
- Keyword
-
Reaktives System
Systementwurf
Prozessalgebra
Verifikation
Aktion
Verfeinerung
My-Kalkül
Modallogik
TCSP
- Creator
-
Salger, Frank
- URN
-
urn:nbn:de:bsz:180-madoc-312
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 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
- Online-Publikation
Associated
- Salger, Frank
Other Objects (12)
Verification in the hierarchical development of reactive systems
Hierarchical contextual reasoning
An abstract model of hierarchical graphs and hierarchical graph transformation
Verified Java bytecode verification
Modules for hierarchical and crosscutting models
Efficient object-based hierarchical radiosity methods
Formal verification of pipelined microprocessors
Software verification for programmable logic controllers
Abstract state machines : verification problems and complexity
Atomistic effects in reactive direct current sputter deposition
Hierarchical real-time recognition of compound objects in images
A signature-based approach to formal logic verification
Verification in the hierarchical development of reactive systems
Hierarchical contextual reasoning
An abstract model of hierarchical graphs and hierarchical graph transformation
Verified Java bytecode verification
Modules for hierarchical and crosscutting models
Efficient object-based hierarchical radiosity methods
Formal verification of pipelined microprocessors
Software verification for programmable logic controllers
Abstract state machines : verification problems and complexity
Atomistic effects in reactive direct current sputter deposition
Hierarchical real-time recognition of compound objects in images
A signature-based approach to formal logic verification
Verification in the hierarchical development of reactive systems
Hierarchical contextual reasoning
An abstract model of hierarchical graphs and hierarchical graph transformation
Verified Java bytecode verification
Modules for hierarchical and crosscutting models
Efficient object-based hierarchical radiosity methods
Formal verification of pipelined microprocessors
Software verification for programmable logic controllers
Abstract state machines : verification problems and complexity
Atomistic effects in reactive direct current sputter deposition
Hierarchical real-time recognition of compound objects in images