Hochschulschrift
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
-
14.08.2025, 11:02 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.
Object type
- Hochschulschrift
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
Predictors of Word and Pseudoword Reading in Languages with Different Orthographic Consistency
Larch : languages and tools for formal specification
Languages, methods, and tools for software specification
Specification Languages for Stutter-Invariant Regular Properties
A polymorphic sort system for axiomatic specification languages
Controller synthesis for deterministic context free specification languages
Controller Synthesis for Deterministic Context Free Specification Languages
Expressiveness and complexity of stream-based specification languages
RESEARCH INFRASTRUCTURE - Documenting & preserving programming languages & software in Wikidata
Constraint Modelling and Data Validation Using Formal Specification Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Logics of specification languages
Predictors of Word and Pseudoword Reading in Languages with Different Orthographic Consistency
Larch : languages and tools for formal specification
Languages, methods, and tools for software specification
Specification Languages for Stutter-Invariant Regular Properties
A polymorphic sort system for axiomatic specification languages
Controller synthesis for deterministic context free specification languages
Controller Synthesis for Deterministic Context Free Specification Languages
Expressiveness and complexity of stream-based specification languages
RESEARCH INFRASTRUCTURE - Documenting & preserving programming languages & software in Wikidata
Constraint Modelling and Data Validation Using Formal Specification Languages
Specification Languages for Preserving Consistency between Models of Different Languages
Logics of specification languages
Predictors of Word and Pseudoword Reading in Languages with Different Orthographic Consistency
Larch : languages and tools for formal specification
Languages, methods, and tools for software specification
Specification Languages for Stutter-Invariant Regular Properties
A polymorphic sort system for axiomatic specification languages
Controller synthesis for deterministic context free specification languages
Controller Synthesis for Deterministic Context Free Specification Languages
Expressiveness and complexity of stream-based specification languages
RESEARCH INFRASTRUCTURE - Documenting & preserving programming languages & software in Wikidata