- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2023
- Keyword
-
Komponente
Verifikation
Systementwurf
Formale Spezifikationstechnik
Verteiltes System
Reaktives System
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2023
- Creator
-
Passing, Noemi Estrid
- Contributor
- DOI
-
10.22028/D291-40211
- URN
-
urn:nbn:de:bsz:291--ds-402116
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 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.
Associated
- Passing, Noemi Estrid
- Finkbeiner, Bernd
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2023
Other Objects (12)
Open graph transformation systems : a new approach to the compositional modelling of concurrent and reactive systems
Symbolic reactive synthesis
Synthesis of reactive distillation processes
Synthesis of reactive polyether copolymers
Compositional synthesis and most general controllers
Compositional Synthesis and Most General Controllers
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Compositional Testing of Communication Systems
Compositional refinement of interactive systems
Logic synthesis for compositional microprogramm control units
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
Compositional stability verification of hybrid systems
Open graph transformation systems : a new approach to the compositional modelling of concurrent and reactive systems
Symbolic reactive synthesis
Synthesis of reactive distillation processes
Synthesis of reactive polyether copolymers
Compositional synthesis and most general controllers
Compositional Synthesis and Most General Controllers
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Compositional Testing of Communication Systems
Compositional refinement of interactive systems
Logic synthesis for compositional microprogramm control units
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems
Compositional stability verification of hybrid systems
Open graph transformation systems : a new approach to the compositional modelling of concurrent and reactive systems
Symbolic reactive synthesis
Synthesis of reactive distillation processes
Synthesis of reactive polyether copolymers
Compositional synthesis and most general controllers
Compositional Synthesis and Most General Controllers
Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Compositional Testing of Communication Systems
Compositional refinement of interactive systems
Logic synthesis for compositional microprogramm control units
Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems