Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Behavioural Modelling and Model-based Development of Protocol Software
Simonsen, Kent Inge
(PhD Student)
Kindler, Ekkart
(Main Supervisor)
Kristensen, Lars Michael
(Supervisor)
Baumeister, Hubert
(Examiner)
Daniel, Moldt
(Examiner)
Meling, Hein
(Examiner)
Overview
Fingerprint
Publications
(1)
Project Details
Status
Finished
Effective start/end date
01/03/2011
→
21/11/2014
Funding
Stipendie fra udlandet
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Third-party Libraries
Keyphrases
100%
Application Type
Keyphrases
100%
WebSocket
Keyphrases
100%
Request-response
Keyphrases
100%
Message-based
Keyphrases
100%
Two-way Channel
Keyphrases
100%
Working Protocol
Keyphrases
100%
Response Pattern
Computer Science
100%
Research output
Research output per year
2015
2015
2015
1
Ph.D. thesis
Research output per year
Research output per year
Code Generation from Pragmatics Annotated Coloured Petri Nets
Simonsen, K. I.,
2015
, Kgs. Lyngby:
Technical University of Denmark
.
296 p.
(DTU Compute PHD-2014; No. 345).
Research output
:
Book/Report
›
Ph.D. thesis
Open Access
File
WebSocket
100%
Application Type
100%
Working Protocol
100%
Two-way Channel
100%
Message-based
100%
2343
Downloads (Orbit)