- Weitere Titel
-
Formale Verifikation von Modell-Refactorings für hybride Kontrollsysteme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universität Berlin, Dissertation, 2018
- Schlagwort
-
Difference equations
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2018
- Urheber
- Beteiligte Personen und Organisationen
-
Glesner, Sabine
Giese, Holger
Schäfer, Ina
- DOI
-
10.14279/depositonce-7528
- Handle
-
11303/8379
- URN
-
urn:nbn:de:101:1-2018103100570817764870
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:04 MESZ
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.
Beteiligte
- Schlesinger, Sebastian
- Glesner, Sabine
- Giese, Holger
- Schäfer, Ina
- Technische Universität Berlin
Entstanden
- 2018
Ähnliche Objekte (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