Specification Languages for Preserving Consistency between Models of Different Languages
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783731507840
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2017
- Bibliographic citation
-
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ; 24
- Keyword
-
Language and languages
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT Scientific Publishing
- (when)
-
2019
- Creator
- DOI
-
10.5445/KSP/1000081446
- URN
-
urn:nbn:de:0072-814462
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 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
- Kramer, Max Emanuel
- KIT Scientific Publishing
Time of origin
- 2019
Other Objects (12)
Specification Languages for Preserving Consistency between Models of Different Languages
Logics of specification languages
Specification Languages for Stutter-Invariant Regular Properties
Languages, methods, and tools for software specification
Larch : languages and tools for formal specification
RESEARCH INFRASTRUCTURE - Documenting & preserving programming languages & software in Wikidata
Controller Synthesis for Deterministic Context Free Specification Languages
A polymorphic sort system for axiomatic specification languages
Controller synthesis for deterministic context free specification languages
Languages
Constraint Modelling and Data Validation Using Formal Specification Languages
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Logics of specification languages
Specification Languages for Stutter-Invariant Regular Properties
Languages, methods, and tools for software specification
Larch : languages and tools for formal specification
RESEARCH INFRASTRUCTURE - Documenting & preserving programming languages & software in Wikidata
Controller Synthesis for Deterministic Context Free Specification Languages
A polymorphic sort system for axiomatic specification languages
Controller synthesis for deterministic context free specification languages
Languages
Constraint Modelling and Data Validation Using Formal Specification Languages
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Logics of specification languages
Specification Languages for Stutter-Invariant Regular Properties
Languages, methods, and tools for software specification
Larch : languages and tools for formal specification
RESEARCH INFRASTRUCTURE - Documenting & preserving programming languages & software in Wikidata
Controller Synthesis for Deterministic Context Free Specification Languages
A polymorphic sort system for axiomatic specification languages
Controller synthesis for deterministic context free specification languages
Languages
Constraint Modelling and Data Validation Using Formal Specification Languages