On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications.

Ralf Henke, Andreas Mitschele-Thiel, Hartmut Knig

Browse the full FORTE paper archive.