- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Diss., 2013
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2014
- Creator
- Contributor
-
Schneider, Klaus
- URN
-
urn:nbn:de:hbz:386-kluedo-37395
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 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.
Object type
- Hochschulschrift
Associated
- Gemünde, Mike
- Schneider, Klaus
- Technische Universität Kaiserslautern
Time of origin
- 2014
Other Objects (12)
Clock refinement in imperative synchronous languages
Practical causality handling for synchronous languages
Behaviour and refinement of port-based components with synchronous and asynchronous communication
Refinement of components in connection-safe assemblies with synchronous and asynchronous communication
Reusing OCL in the definition of imperative languages
Counterexample Refinement for a Boundedness Test for CFSM Languages
Low jitter Gb-s CMOS clock and data recovery circuits for large synchronous networks
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
Reactive processing for synchronous languages and its worst case reaction time analysis
Imperatives and negation in Romance languages: Verbalisation, de-verbalisation and marking
Some comments on CPO-semantics and metric space semantics for imperative languages
Imperativ.
Clock refinement in imperative synchronous languages
Practical causality handling for synchronous languages
Behaviour and refinement of port-based components with synchronous and asynchronous communication
Refinement of components in connection-safe assemblies with synchronous and asynchronous communication
Reusing OCL in the definition of imperative languages
Counterexample Refinement for a Boundedness Test for CFSM Languages
Low jitter Gb-s CMOS clock and data recovery circuits for large synchronous networks
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
Reactive processing for synchronous languages and its worst case reaction time analysis
Imperatives and negation in Romance languages: Verbalisation, de-verbalisation and marking
Some comments on CPO-semantics and metric space semantics for imperative languages
Imperativ.
Clock refinement in imperative synchronous languages
Practical causality handling for synchronous languages
Behaviour and refinement of port-based components with synchronous and asynchronous communication
Refinement of components in connection-safe assemblies with synchronous and asynchronous communication
Reusing OCL in the definition of imperative languages
Counterexample Refinement for a Boundedness Test for CFSM Languages
Low jitter Gb-s CMOS clock and data recovery circuits for large synchronous networks
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
Reactive processing for synchronous languages and its worst case reaction time analysis
Imperatives and negation in Romance languages: Verbalisation, de-verbalisation and marking
Some comments on CPO-semantics and metric space semantics for imperative languages