- Alternative title
-
Formale Verifikation von Modell-Refactorings für hybride Kontrollsysteme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Berlin, Technische Universität Berlin, Dissertation, 2018
- Keyword
-
Difference equations
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2018
- Creator
- Contributor
-
Glesner, Sabine
Giese, Holger
Schäfer, Ina
- DOI
-
10.14279/depositonce-7528
- Handle
-
11303/8379
- URN
-
urn:nbn:de:101:1-2018103100570817764870
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:04 AM CEST
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
- Schlesinger, Sebastian
- Glesner, Sabine
- Giese, Holger
- Schäfer, Ina
- Technische Universität Berlin
Time of origin
- 2018
Other Objects (12)
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques
Modelling Memory Consistency Models for Formal Verification
An Approach for Hybrid Modelling and Formal Verification in FOCUS
Symbolic methods for formal verification of industrial control software
A formal verification technique for behavioural model-to-model transformations
Hybrid systems, 3.. Verification and control / Rajeev Alur ... (ed.)
Formal Verification of Algorithms for Automata and Model Checking
Supporting Validation and Verification of State-Based Formal Models
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques
Modelling Memory Consistency Models for Formal Verification
An Approach for Hybrid Modelling and Formal Verification in FOCUS
Symbolic methods for formal verification of industrial control software
A formal verification technique for behavioural model-to-model transformations
Hybrid systems, 3.. Verification and control / Rajeev Alur ... (ed.)
Formal Verification of Algorithms for Automata and Model Checking
Supporting Validation and Verification of State-Based Formal Models
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques
Modelling Memory Consistency Models for Formal Verification
An Approach for Hybrid Modelling and Formal Verification in FOCUS
Symbolic methods for formal verification of industrial control software
A formal verification technique for behavioural model-to-model transformations
Hybrid systems, 3.. Verification and control / Rajeev Alur ... (ed.)
Formal Verification of Algorithms for Automata and Model Checking
Supporting Validation and Verification of State-Based Formal Models
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing