Searching for authors named "Ralf Henke" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Derivation of Efficient Implementations from SDL Specifications Employing Data Referencing, Integrated Packet Framing and Activity Threads
- …, Integrated Packet Framing and Activity Threads * Ralf Henke a , Hartmut Knig b , Andreas Mitschele…
- Cited by 13 (4 self) – Add To MetaCart
-
On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications
- … Ralf Henke, Andreas Mitschele-Thiel Friedrich-Alexander Universitt Erlangen-Nrnberg, Lehrstuhl fr…
- Cited by 2 (0 self) – Add To MetaCart
-
Automated Derivation of Efficient Implementations from SDL Specifications
- …1 / 16 Automated Derivation of Efficient Implementations from SDL Specifications * Ralf Henke…
- Cited by 1 (0 self) – Add To MetaCart
-
Design and Optimization of High-Performance Protocols with the DO-IT Toolbox
- … 10 13 44, 03013 Cottbus, Germany, email: pl@(email omitted); Ralf Henke Otto…
- Cited by 5 (3 self) – Add To MetaCart
Showing 1 through 4.
