Hochschulschrift | Online-Publikation
Verification in the hierarchical development of reactive systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Englisch
- Anmerkungen
-
Mannheim, Univ., Diss., 2001
- Schlagwort
-
Reaktives System
Systementwurf
Prozessalgebra
Verifikation
Aktion
Verfeinerung
My-Kalkül
Modallogik
TCSP
- Urheber
-
Salger, Frank
- URN
-
urn:nbn:de:bsz:180-madoc-312
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 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
- Online-Publikation
Beteiligte
- Salger, Frank
Ähnliche Objekte (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