Specification Languages for Preserving Consistency between Models of Different Languages
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783731507840
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2017
- Erschienen in
-
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ; 24
- Schlagwort
-
Language and languages
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT Scientific Publishing
- (wann)
-
2019
- Urheber
- DOI
-
10.5445/KSP/1000081446
- URN
-
urn:nbn:de:0072-814462
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 MEZ
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
- Kramer, Max Emanuel
- KIT Scientific Publishing
Entstanden
- 2019
Ähnliche Objekte (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