About
Log in
Log in?
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
DTU Findit
DTU
Close advanced
{{problem}}
By field
Using AND/OR
By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}:
(
)
Author:
Simonsen
remove
Interpreted as:
title:(Code AND Generation AND for AND Protocols AND from AND CPN AND models AND Annotated AND with AND Pragmatics)
Suggestions: Include records that partially match the query
Previous
1
-
2
of
2
Next
1
Conference paper
Code Generation for Protocols from CPN models Annotated with Pragmatics
Year: 2012
Language: English
2
Report
Code Generation for Protocols from CPN models Annotated with Pragmatics
them tend to be verbose and cluttered. Our code generation approach consists of three main steps, starting from a CPN model that the modeller has annotated with a set of pragmatics that make the protocol structure and the control-flow explicit. The first step is to compute for the CPN model, a set
Year: 2013
Language: English
